hasPurpose

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1876-1888
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3449-3460
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154
No TPTP formula. May not be expressible in strict first order. Merge.kif 11631-11639
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 257-270
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2948
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7231-7240
No TPTP formula. May not be expressible in strict first order. Cars.kif 2730-2744
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1960-1975
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8154-8162
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5369-5379
No TPTP formula. May not be expressible in strict first order. Cars.kif 2909-2921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25093-25114
No TPTP formula. May not be expressible in strict first order. Merge.kif 12910-12920
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17352-17368
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4123-4133

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