TreeView Knowledge Base Browser - concentration

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - concentration

concentration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 228-229
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 224-224	域 concentration, 1 and Quantity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 226-226	域 concentration, 3 and Quantity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 227-227	域 concentration, 4 and Mixture
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 225-225	域子類 concentration, 2 and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 223-223	例 concentration and QuaternaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 231-231
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 232-232

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	concentration 測量 RealNumber and UnitOfMeasure, Substance, 測量 RealNumber and UnitOfMeasure and Mixture 例 SubstanceI and Substance 部分 SubstanceI and Mixture 測量 SubstanceI and 測量 RealNumber and UnitOfMeasure 部分 SubstanceI and Mixture 例 SubstanceI2 and Substance 等於 SubstanceI and SubstanceIE2 部分 SubstanceI2 and Mixture 測量 Mixture and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5775-5782	例 Mixture and Blood attribute Mixture and DeoxygenatedBlood concentration 測量 RealNumber and Milliliter, CarbonDioxide, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 4
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 5752-5759	例 Mixture and Blood attribute Mixture and OxygenatedBlood concentration 測量 RealNumber and Milliliter, CarbonDioxide, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 5
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

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