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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalSubstance

Sigma KEE - AnimalSubstance
AnimalSubstance(animal substance)

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 14549-14550
No TPTP formula. May not be expressible in strict first order. Merge.kif 14548-14548 Animal substance is a subclass of body substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14920-14920 BoneTissue is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8315-8315 Cholesterol is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21054-21054 Honey is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14956-14956 MuscleTissue is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9057-9057 Sweat is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9046-9046 Tendon is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7629-7629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7628-7628
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7627-7627

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14552-14557


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