Object(object)

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4819-4833
No TPTP formula. May not be expressible in strict first order. Merge.kif 17746-17753
No TPTP formula. May not be expressible in strict first order. Merge.kif 4061-4068
No TPTP formula. May not be expressible in strict first order. Merge.kif 4055-4059
No TPTP formula. May not be expressible in strict first order. Weather.kif 125-130
No TPTP formula. May not be expressible in strict first order. Merge.kif 9601-9607
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1883-1900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7848-7862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18184
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3282-3302
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1841-1858
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1822-1839
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1596-1603
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1605-1621
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. Weather.kif 159-165
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 109-115
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 86-98
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 61-68
No TPTP formula. May not be expressible in strict first order. Geography.kif 2271-2278
No TPTP formula. May not be expressible in strict first order. Catalog.kif 98-107
No TPTP formula. May not be expressible in strict first order. Catalog.kif 139-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 871-897
No TPTP formula. May not be expressible in strict first order. Hotel.kif 569-589

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners