TreeView Knowledge Base Browser - McgPerKg

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - McgPerKg

McgPerKg

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 817-819
No TPTP formula. May not be expressible in strict first order.	WMD.kif 814-816
No TPTP formula. May not be expressible in strict first order.	WMD.kif 812-812	例 McgPerKg and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	WMD.kif 813-813	例 McgPerKg and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 821-821
No TPTP formula. May not be expressible in strict first order.	WMD.kif 820-820

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	等於測量 RealNumber and McgPerKg and MassMeasure 是 MassMeasure 的 per 等於 MassMeasure and 測量 RealNumber and 微公克等於 MassMeasure and 測量 RealNumber and 千公克 Process SelfConnectedObject and SelfConnectedObject 例 Process and Ingesting 例 SelfConnectedObject and BiologicallyActiveSubstance 例 SelfConnectedObject and Organism 患者 Process and SelfConnectedObject agent Process and SelfConnectedObject MassMeasure 是 SelfConnectedObject 的 weight MassMeasure 是 SelfConnectedObject 的 weight
No TPTP formula. May not be expressible in strict first order.	WMD.kif 851-858	例 UnitOfMeasure and McgPerKg 測量 RealNumber and UnitOfMeasure 是生化劑的 effective 劑量測量 RealNumber and UnitOfMeasure 是生化劑的 lethal 劑量比較多 RealNumber and RealNumber

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