Process(process)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18645-18657
No TPTP formula. May not be expressible in strict first order. Geography.kif 6031-6040
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2596-2605
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2154-2166
No TPTP formula. May not be expressible in strict first order. engineering.kif 1139-1151
No TPTP formula. May not be expressible in strict first order. Cars.kif 2519-2532
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4208-4223
No TPTP formula. May not be expressible in strict first order. Cars.kif 1194-1202
No TPTP formula. May not be expressible in strict first order. Cars.kif 1587-1596
No TPTP formula. May not be expressible in strict first order. Cars.kif 3482-3509
No TPTP formula. May not be expressible in strict first order. Military.kif 89-96
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14388-14393
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2630-2643
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2754-2763
No TPTP formula. May not be expressible in strict first order. engineering.kif 882-901
No TPTP formula. May not be expressible in strict first order. engineering.kif 914-925
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25994-26002
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26053-26074
No TPTP formula. May not be expressible in strict first order. Cars.kif 3355-3373
No TPTP formula. May not be expressible in strict first order. Cars.kif 3675-3704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26719-26732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14433-14439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20693-20701
No TPTP formula. May not be expressible in strict first order. Music.kif 96-104
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4425-4430

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