Process(process)

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


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. Catalog.kif 130-137
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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 396-417
No TPTP formula. May not be expressible in strict first order. Hotel.kif 419-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23289-23296
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. Transportation.kif 2692-2701
No TPTP formula. May not be expressible in strict first order. Dining.kif 1044-1059
No TPTP formula. May not be expressible in strict first order. Merge.kif 3791-3794


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