Possibility(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 25333-25346
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 14149-14163
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 15152-15164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15124-15133
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 14370-14375
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 20568-20578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17323-17345
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 9587-9598

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