|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11456-11456 | Hoof est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12094-12094 | Hypothalamus est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12033-12033 | Intestine est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11266-11266 | Kidney est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12548-12548 | Limb est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11587-11587 | Lip est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11416-11416 | Liver est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11186-11186 | Lung est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11420-11420 | Mouth est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12519-12519 | NailDigit est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12869-12869 | Neck est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10753-10753 | NerveCell est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11445-11445 | NervousSystem est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12189-12189 | Nose est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11312-11312 | Nostril est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11386-11386 | Pericardium est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12070-12070 | Rectum est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12084-12084 | RespiratoryTract est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11052-11052 | Retina est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11238-11238 | RibCage est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12779-12779 | Shoulder est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11649-11649 | Skeleton est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10986-10986 | Skin est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10938-10938 | SpinalColumn est une sous-classe de AnimalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11285-11285 | Spleen est une sous-classe de AnimalAnatomicalStructure |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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