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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Aluminum
Aluminum(aluminum)
Al, aluminium, aluminum, atomic_number_13

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29395-29395 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31125-31125 2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29403-29408 2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2098-2098 2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1025-1025 2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31124-31124 933.52 Kelvin degree(s) is a melting point of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29393-29393 "Aluminum" has &ames$"name" Aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33408-33408 room temperature state aluminum and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29392-29392 Aluminum 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 29394-29394 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7039-7039 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7038-7038 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7037-7037 Aluminum is a conventional short name of "Al"

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


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

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1143-1147
No TPTP formula. May not be expressible in strict first order. Cars.kif 4783-4785


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