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 14813-14814
No TPTP formula. May not be expressible in strict first order. Merge.kif 14812-14812 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 15190-15190 Bone tissue is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8708-8708 Cholesterol is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21632-21632 Honey is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14876-14876 Meat is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15225-15225 Muscle tissue is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9457-9457 Sweat is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9446-9446 Tendon is a subclass of animal substance
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 14816-14821


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