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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Chlorine

Sigma KEE - Chlorine
Chlorine(chlorine)
Cl, atomic_number_17, chlorine, radiochlorine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25846-25846 17 is an atomic number of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27424-27424 238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25853-25857
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1699-1699
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2138-2138
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1074-1074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27423-27423 172.17 Kelvin degree(s) is a melting point of chlorine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1801-1801 The number of molecules of chlorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25844-25844 "Chlorine" has name chlorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25843-25843 Chlorine 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 25845-25845 Chlorine is a conventional short name of "Cl"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14551-14551
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14550-14550
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14549-14549

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


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

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1334-1341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8439-8448


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners