causes

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


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. emotion.kif 1983-1991
No TPTP formula. May not be expressible in strict first order. Merge.kif 12313-12321
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25821-25838
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2735-2747
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8600-8610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1582-1604
No TPTP formula. May not be expressible in strict first order. Merge.kif 12958-12963
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16250-16259
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5527-5535
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3417
No TPTP formula. May not be expressible in strict first order. emotion.kif 1523-1533
No TPTP formula. May not be expressible in strict first order. emotion.kif 1967-1975
No TPTP formula. May not be expressible in strict first order. emotion.kif 1928-1936
No TPTP formula. May not be expressible in strict first order. Biography.kif 280-296
No TPTP formula. May not be expressible in strict first order. Cars.kif 3710-3751
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 949-964
No TPTP formula. May not be expressible in strict first order. Cars.kif 3531-3552
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3312-3321
No TPTP formula. May not be expressible in strict first order. Medicine.kif 403-410
No TPTP formula. May not be expressible in strict first order. Medicine.kif 425-432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29474-29485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18795-18802
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 736-748
No TPTP formula. May not be expressible in strict first order. Merge.kif 3810-3818

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