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 25757-25757 13 is an atomic number of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27389-27389 2740 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25764-25769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2100-2100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1026-1026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27388-27388 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 25755-25755 "Aluminum" has name aluminum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25754-25754 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 25756-25756 Aluminum is a conventional short name of "Al"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7039-7039
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7038-7038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7037-7037

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


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

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1147-1151
No TPTP formula. May not be expressible in strict first order. Cars.kif 4703-4705


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