Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Carbon

 Sigma KEE - Carbon
Carbon

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27351-27351 atomicNumber Carbon and 6
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29192-29192 boilingPoint Carbon and 5100.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27359-27364
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1688-1688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29191-29191 meltingPoint Carbon and 3823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Cars.kif 1804-1804 molecularRatio Carbon, 1 and Freon12
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5877-5877 molecularRatio Carbon, 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27349-27349 "Carbon" s'appele nom Carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31455-31455 roomTempState Carbon and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27348-27348 Carbon est une sous-classe de substance �l�mentaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27350-27350 conventionalShortName "C" and Carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8766-8766 Diamond est une sous-classe de Carbon
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13140-13140
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13139-13139
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13138-13138

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27353-27357

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 3414-3429
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8563-8570
No TPTP formula. May not be expressible in strict first order. naics.kif 3036-3045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8587-8593


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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