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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodySubstance
BodySubstance(身体物质)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3472-3473
No TPTP formula. May not be expressible in strict first order. Merge.kif 14829-14832
No TPTP formula. May not be expressible in strict first order. Merge.kif 14828-14828 身体物质物质subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14834-14834 动物物质身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 309-309 Batrachotoxin身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11991-11991 Bile身体物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14875-14875 血液身体物质subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1140-1140 BloodPlasma身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 323-323 肉毒杆菌毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1469-1469 芋螺毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 349-349 Ε毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2062-2062 Excrement身体物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14856-14856 激素身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10848-10848 液体物质身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12327-12327 Mucus身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 218-218 霉菌毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12343-12343 Neurotransmitter身体物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14845-14845 植物物质身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9180-9180 橡胶身体物质subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12312-12312 Saliva身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1454-1454 石房蛤毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1478-1478 河豚毒素身体物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15146-15146 身体组织身体物质subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1010-1010
No TPTP formula. May not be expressible in strict first order. english_format.kif 1232-1232
No TPTP formula. May not be expressible in strict first order. french_format.kif 687-687
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 218-218

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24088-24092
No TPTP formula. May not be expressible in strict first order. Geography.kif 4340-4353


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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