#12 Messages on Main Screen

[Alan Meech]

I have a Sigma install that seems to be working, but whenever I first log into the web interface, I get the following messages on the screen. This is before I have added any KB's or content to the system (right out of box). I am running sigma-2-02. Are the messages important?

No predicate instantiations for
(<=>
(instance ?REL TotalOrderingRelation)
(forall (?INST1 ?INST2)
(and
(or
(?REL ?INST1 ?INST2)
(?REL ?INST2 ?INST1))
(or
(not
(?REL ?INST1 ?INST2))
(not
(?REL ?INST2 ?INST1))))))

No predicate instantiations for
(=>
(reflexiveOn ?RELATION ?CLASS)
(forall (?INST)
(=>
(instance ?INST ?CLASS)
(?RELATION ?INST ?INST))))

No predicate instantiations for
(=>
(irreflexiveOn ?RELATION ?CLASS)
(forall (?INST)
(=>
(instance ?INST ?CLASS)
(not
(?RELATION ?INST ?INST)))))

No predicate instantiations for
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL TernaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(?REL ?NUMBER1 ?NUMBER2 ?VALUE))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(?REL
(MeasureFn ?NUMBER1 ?UNIT)
(MeasureFn ?NUMBER2 ?UNIT)
(MeasureFn ?VALUE ?UNIT)))))

No predicate instantiations for
(<=>
(instance ?REL TrichotomizingRelation)
(forall (?INST1 ?INST2)
(or
(and
(?REL ?INST1 ?INST2)
(not
(equal ?INST1 ?INST2))
(not
(?REL ?INST2 ?INST1)))
(and
(not
(?REL ?INST1 ?INST2))
(equal ?INST1 ?INST2)
(not
(?REL ?INST2 ?INST1)))
(and
(not
(?REL ?INST1 ?INST2))
(not
(equal ?INST1 ?INST2))
(?REL ?INST2 ?INST1)))))

No predicate instantiations for
(=>
(and
(holdsDuring ?INTERVAL
(?REL ?INST1 ?INST2))
(instance ?INST1 Physical)
(instance ?INST2 Physical))
(and
(time ?INST1 ?INTERVAL)
(time ?INST2 ?INTERVAL)))