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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vanadium

 Sigma KEE - Vanadium
Vanadium(vanadium)
V, atomic_number_23, vanadium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27637-27637 23 is an atomic number of vanadium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29226-29226 3653.0 Kelvin degree(s) is a boiling point of vanadium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27645-27659
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 29225-29225 2163.0 Kelvin degree(s) is a melting point of vanadium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27635-27635 "Vanadium" has name vanadium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31473-31473 roomTempState vanadium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27634-27634 Vanadium is a subclass of elemental substance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27636-27636 Vanadium is a conventional short name of "V"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61220-61220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61219-61219
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61218-61218

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


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


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