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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalSubstance

 Sigma KEE - AnimalSubstance
AnimalSubstance(动物物质)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3474-3474
No TPTP formula. May not be expressible in strict first order. Merge.kif 14859-14860
No TPTP formula. May not be expressible in strict first order. Merge.kif 14858-14858 动物物质 是 身体物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15236-15236 BoneTissue 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8735-8735 胆固醇 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21659-21659 蜜糖 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14922-14922 Meat 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15271-15271 MuscleTissue 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9484-9484 汗 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9473-9473 肌腱 是 动物物质 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7620-7620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7619-7619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7618-7618

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14862-14867


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