No TPTP formula. May not be expressible in strict first order. | Merge.kif 15156-15156 | Organe est une sous-classe de partie du corps |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 778-778 | VocalCords est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9496-9496 | PlantLeaf est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9528-9528 | PlantRoot est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9549-9549 | Flower est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9561-9561 | PlantStem est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9604-9604 | PlantSpinoseStructure est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9628-9628 | PlantAreole est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10965-10965 | SpinalColumn est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10979-10979 | SpinalCord est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11079-11079 | Retina est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11298-11298 | Bladder est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11312-11312 | Spleen est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11472-11472 | NervousSystem est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11857-11857 | VitalOrgan est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12006-12006 | Gallbladder est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12034-12034 | Pancreas est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12051-12051 | Stomach est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12096-12096 | Rectum est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12133-12133 | Eye est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12167-12167 | Ear est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12205-12205 | EyeIris est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12216-12216 | Nose est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12856-12856 | Breast est une sous-classe de organe |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15166-15166 | Glande est une sous-classe de organe |