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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Indium
Indium(indium)
In, atomic_number_49, indium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28078-28078 49 is an atomic number of indium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29278-29278 2353.0 Kelvin degree(s) is a boiling point of indium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28086-28089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2235-2235
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1814-1814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1145-1145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29277-29277 429.32 Kelvin degree(s) is a melting point of indium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28076-28076 "Indium" has name indium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31499-31499 roomTempState indium and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28075-28075 Indium 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 28077-28077 Indium is a conventional short name of "In"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29653-29653
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29652-29652
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29651-29651

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


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


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