TreeView Knowledge Base Browser - Oxygen

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Oxygen

Oxygen(氧)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27375-27375	8 是氧的 atomic 數字
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29184-29184	測量 90.188 and 凱文度是氧的 boiling 點
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27383-27390
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 29183-29183	測量 54.75 and 凱文度是氧的 melting 點
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7214-7214	molecularRatio 氧, 1 and NitricOxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7239-7239	molecularRatio 氧, 2 and NitrogenDioxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7179-7179	molecularRatio 氧, 2 and SulphurDioxide
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 2499-2499	molecularRatio 氧, 4 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27373-27373	名氧 and "Oxygen"
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31454-31454	roomTempState 氧 and 加油站
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27372-27372	子類氧 and ElementalSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27374-27374	氧是 "O" 的 conventional 簡稱
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43830-43830
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43829-43829
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43828-43828

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27377-27381	例 Physical and 氧例 Physical and Atom 測量 Physical and 測量 15.9994 and amu
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5766-5773	例 Mixture and Blood attribute Mixture and DeoxygenatedBlood concentration 測量 RealNumber and Milliliter, 氧, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 14
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5743-5750	例 Mixture and Blood attribute Mixture and OxygenatedBlood concentration 測量 RealNumber and Milliliter, 氧, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 20

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3414-3429	例 Object and CarbonDioxide 例 Object and Molecule Object Object and Object 例 Object and 碳例 Object and 氧例 Object and 氧例 Object and Atom 例 Object and Atom 例 Object and Atom 部分 Object and Object 部分 Object and Object 部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 48-53	例 Object and 空氣 Object 例 Object and 氧部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 20-25	例 Process and Combustion Object 例 Object and 氧資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3348-3356	例 Physical and OxygenSensor 有目的 Physical and entity entity 例 entity and 氧例 entity and Measuring 患者 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8781-8790	例 Entity and Water Process Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 例 Object and 氫資源 Process and Object 例 Object and 氧結果 Process and Entity

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