Possibility

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


No TPTP formula. May not be expressible in strict first order. Media.kif 768-788
No TPTP formula. May not be expressible in strict first order. Geography.kif 7380-7392
No TPTP formula. May not be expressible in strict first order. Geography.kif 7352-7363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25332-25345
No TPTP formula. May not be expressible in strict first order. Hotel.kif 479-490
No TPTP formula. May not be expressible in strict first order. Catalog.kif 109-119
No TPTP formula. May not be expressible in strict first order. Catalog.kif 51-62
No TPTP formula. May not be expressible in strict first order. Catalog.kif 64-76
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14148-14162
No TPTP formula. May not be expressible in strict first order. Hotel.kif 317-332
No TPTP formula. May not be expressible in strict first order. Hotel.kif 954-967
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15151-15163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15123-15132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2698-2714
No TPTP formula. May not be expressible in strict first order. Merge.kif 3918-3924
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-800
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1939-1945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14369-14374
No TPTP formula. May not be expressible in strict first order. Geography.kif 5876-5885
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20567-20577
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17322-17344
No TPTP formula. May not be expressible in strict first order. Cars.kif 1161-1165
No TPTP formula. May not be expressible in strict first order. Cars.kif 1167-1172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9586-9597

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