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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fluorine
Fluorine

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27458-27458 atomicNumber Fluorine and 9
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29249-29249 boilingPoint Fluorine and 85.01 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27466-27470
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 29248-29248 meltingPoint Fluorine and 53.53 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Cars.kif 1789-1789 molecularRatio Fluorine, 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27456-27456 "Fluorine" se chama nome Fluorine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31491-31491 roomTempState Fluorine and Gas
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27455-27455 Fluorine e' uma sub-classe de Substancia Elementar

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27457-27457 conventionalShortName "F" and Fluorine
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 27460-27464


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