No TPTP formula. May not be expressible in strict first order. | Merge.kif 15132-15132 | Orgao e' uma sub-classe de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 785-785 | VocalCords e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9468-9468 | PlantLeaf e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9500-9500 | PlantRoot e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9521-9521 | Flower e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9533-9533 | PlantStem e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9576-9576 | PlantSpinoseStructure e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9600-9600 | PlantAreole e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10937-10937 | SpinalColumn e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10951-10951 | SpinalCord e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11051-11051 | Retina e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11270-11270 | Bladder e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11284-11284 | Spleen e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11444-11444 | NervousSystem e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11829-11829 | VitalOrgan e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11978-11978 | Gallbladder e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12006-12006 | Pancreas e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12023-12023 | Stomach e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12068-12068 | Rectum e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12105-12105 | Eye e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12139-12139 | Ear e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12177-12177 | EyeIris e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12188-12188 | Nose e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12828-12828 | Breast e' uma sub-classe de Orgao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15142-15142 | Glandula e' uma sub-classe de Orgao |
![]() |