#12 Messages on Main Screen

open
nobody
None
5
2008-04-01
2008-04-01
Alan Meech
No

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)))

Discussion

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks