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 27407-27407 9 是 氟 的 atomic 數字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29198-29198 測量 85.01 and 凱文度 是 氟 的 boiling 點
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27415-27419
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 29197-29197 測量 53.53 and 凱文度 是 氟 的 melting 點
No TPTP formula. May not be expressible in strict first order. Cars.kif 1806-1806 molecularRatio 氟, 2 and Freon12
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27405-27405 名 氟 and "Fluorine"
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31459-31459 roomTempState 氟 and 加油站
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27404-27404 子類 氟 and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27406-27406 氟 是 "F" 的 conventional 簡稱
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 27409-27413


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