subProcess

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9964-9976
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3517-3529
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10647-10657
No TPTP formula. May not be expressible in strict first order. emotion.kif 1710-1721
No TPTP formula. May not be expressible in strict first order. emotion.kif 1583-1597
No TPTP formula. May not be expressible in strict first order. emotion.kif 1738-1751
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2609-2623
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2627-2643
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2591-2605
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2573-2587
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2511
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3829-3833
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3882-3886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10607-10617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3169-3180
No TPTP formula. May not be expressible in strict first order. Cars.kif 207-217
No TPTP formula. May not be expressible in strict first order. Cars.kif 225-238
No TPTP formula. May not be expressible in strict first order. Cars.kif 171-184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 643-661
No TPTP formula. May not be expressible in strict first order. Food.kif 1218-1225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1235-1247
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1916-1929
No TPTP formula. May not be expressible in strict first order. Music.kif 986-996
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10728-10740

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