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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Oxygen

Sigma KEE - Oxygen
Oxygen(氧)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27438-27438 8 是 atomic 数字
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29247-29247 90.188 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27446-27453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1886-1886
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29246-29246 54.75 凯文度melting
No TPTP formula. May not be expressible in strict first order. Geography.kif 7214-7214 molecularRatio , 1 and 一氧化氮
No TPTP formula. May not be expressible in strict first order. Geography.kif 7239-7239 molecularRatio , 2 and 二氧化氮
No TPTP formula. May not be expressible in strict first order. Geography.kif 7179-7179 molecularRatio , 2 and 二氧化硫
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5879-5879 molecularRatio , 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order. Cars.kif 2476-2476 molecularRatio , 4 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27436-27436 "Oxygen" 的名 是
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31490-31490 roomTempState and 加油站
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27435-27435 元素物质subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27437-27437 是 "O" 的 conventional 简称
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43832-43832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43831-43831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43830-43830

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27440-27444
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5766-5773
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5743-5750

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3414-3429
No TPTP formula. May not be expressible in strict first order. Weather.kif 48-53
No TPTP formula. May not be expressible in strict first order. Cars.kif 20-25
No TPTP formula. May not be expressible in strict first order. Cars.kif 3325-3333
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8809-8818


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 3.0 is open source software produced by Articulate Software and its partners