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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fluorine
Fluorine(fluorine)
F, atomic_number_9, fluorine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27395-27395 9 is an atomic number of fluorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29186-29186 85.01 Kelvin degree(s) is a boiling point of fluorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27403-27407
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1764-1764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29185-29185 53.53 Kelvin degree(s) is a melting point of fluorine
No TPTP formula. May not be expressible in strict first order. Cars.kif 1812-1812 The number of molecules of fluorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27393-27393 "Fluorine" has name fluorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31455-31455 roomTempState fluorine and gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27392-27392 Fluorine 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 27394-27394 Fluorine is a conventional short name of "F"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24422-24422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24421-24421
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24420-24420

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


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


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