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 14813-14814
No TPTP formula. May not be expressible in strict first order. Merge.kif 14812-14812 AnimalSubstance e' uma sub-classe de Substancia Corporal

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15190-15190 BoneTissue e' uma sub-classe de AnimalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8708-8708 Cholesterol e' uma sub-classe de AnimalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21632-21632 Honey e' uma sub-classe de AnimalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14876-14876 Carne e' uma sub-classe de AnimalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 15225-15225 MuscleTissue e' uma sub-classe de AnimalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9457-9457 Sweat e' uma sub-classe de AnimalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9446-9446 Tendon e' uma sub-classe de AnimalSubstance
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