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 27339-27339 atomicNumber Carbon and 6
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29180-29180 boilingPoint Carbon and 5100.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27347-27352
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 29179-29179 meltingPoint Carbon and 3823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Cars.kif 1810-1810 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 27337-27337 "Carbon" s'appele nom Carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31451-31451 roomTempState Carbon and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27336-27336 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 27338-27338 conventionalShortName "C" and Carbon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8765-8765 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 27341-27345

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 8562-8569
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 8586-8592


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