No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15212-15212 |
BoneTissue e' uma sub-classe de AnimalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8707-8707 |
Cholesterol e' uma sub-classe de AnimalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21631-21631 |
Honey e' uma sub-classe de AnimalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14898-14898 |
Carne e' uma sub-classe de AnimalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15247-15247 |
MuscleTissue e' uma sub-classe de AnimalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9456-9456 |
Sweat e' uma sub-classe de AnimalSubstance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9445-9445 |
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 |
|