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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Vanadium
Vanadium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27688-27688 atomicNumber Vanadium and 23
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29277-29277 boilingPoint Vanadium and 3653.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27696-27710
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2054-2054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2420-2420
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1284-1284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29276-29276 meltingPoint Vanadium and 2163.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27686-27686 "Vanadium" s'appele nom Vanadium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31505-31505 roomTempState Vanadium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27685-27685 Vanadium 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 27687-27687 conventionalShortName "V" and Vanadium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61222-61222
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61221-61221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61220-61220

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


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


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



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