Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 1053-1058
No TPTP formula. May not be expressible in strict first order. Merge.kif 1231-1239
No TPTP formula. May not be expressible in strict first order. Merge.kif 1041-1041 Substance is a subclass of self connected object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1693-1693 Fuel is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2556-2556 Electricity is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4589-4589 Wicker is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8822-8822 Surfactant is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8950-8950 Powder is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17862-17862 Explosive substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17904-17904 Rock is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1067-1067 Synthetic substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1080-1080 Natural substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1084-1084 Pure substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1182-1182 Mixture is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14311-14311 Mineral is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14671-14671 Biologically active substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14806-14806 Body substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3082-3082 Drug candidate is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3793-3793 Creatinine is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2664-2664 Effluent is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 2762-2762 Noxious substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7110-7110 Crystal is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Geography.kif 7488-7488 Liquid drop is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1281-1281 Conductor substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. engineering.kif 1286-1286 Insulator substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4158-4158 Sugar is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Economy.kif 4750-4750 Gum arabic is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2471-2471 Chemical acid is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Cars.kif 2975-2975 Lubricant is a subclass of substance


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