TreeView Knowledge Base Browser - ingredientAmount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ingredientAmount

Sigma KEE - ingredientAmount

ingredientAmount

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1653-1654
No TPTP formula. May not be expressible in strict first order.	Food.kif 1658-1658	域 ingredientAmount, 3 and PhysicalQuantity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1656-1656	域子類 ingredientAmount, 1 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 1657-1657	域子類 ingredientAmount, 2 and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 1652-1652	例 ingredientAmount and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3698-3698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3697-3697
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3696-3696
No TPTP formula. May not be expressible in strict first order.	Food.kif 1655-1655

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 1660-1669

SelfConnectedObject 的 PhysicalQuantity 是 used 在 SelfConnectedObject
Process Physical and Entity 例 Physical and SelfConnectedObject 測量 Physical and PhysicalQuantity 例 Entity and SelfConnectedObject 例 Process and Process 患者 Process and Physical 結果 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