| BodyPart(partie du corps) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3493-3494 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14950-14953 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14949-14949 | Partie du corps est une sous-classe de structure anatomique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14914-14914 | Structure anatomique est compl�tement d�compos� en partie du corps + AbnormalAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6235-6235 | Les valeurs retourn�es par BodyAreaFn sont des sous-classes de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14973-14973 | Les valeurs retourn�es par BodySideFn sont des sous-classes de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11526-11526 | AnimalShell est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1611-1611 | Auricle est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15098-15098 | BodyCavity est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15072-15072 | Partie du corps en recouvrant une autre est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15086-15086 | Junction de parties du corps est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10572-10572 | BodySegment est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15201-15201 | Os est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15106-15106 | Cellule est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10879-10879 | CellPart est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12919-12919 | Chin est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12134-12134 | Cornea est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12482-12482 | DigitAppendage est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1623-1623 | Eardrum est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2546-2546 | EggYolk est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11670-11670 | Exoskeleton est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1434-1434 | Eyebrow est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12883-12883 | Face est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20337-20337 | Feather est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1483-1483 | Forehead est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11870-11870 | FrontalLobe est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12866-12866 | Head est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11458-11458 | Hoof est une sous-classe de partie du corps |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12409-12409 | Le nombre 1 argument de InflammationFn est une instance de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6350-6350 | Le nombre 1 argument de PainFn est une instance de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6323-6323 | Le nombre 1 argument de ParalysisFn est une instance de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10703-10703 | Le nombre 1 argument de bodyAngle est une instance de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10704-10704 | Le nombre 2 argument de bodyAngle est une instance de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6449-6449 | Le nombre 2 argument de sheddingBodyPart est une instance de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6234-6234 | Le nombre 1 argument de BodyAreaFn est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14972-14972 | Le nombre 2 argument de BodySideFn est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29725-29725 | Le nombre 1 argument de CoveringFn est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18239-18239 | Le nombre 1 argument de DeadOrMissingBodyPartFn est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9979-9979 | Le nombre 1 argument de EdemaFn est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18218-18218 | Le nombre 1 argument de ImpairedBodyPartFn est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11962-11962 | Le nombre 1 argument de connectedBodyPart est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11963-11963 | Le nombre 2 argument de connectedBodyPart est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 27-27 | Le nombre 1 argument de connectedBodyPartTypes est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 28-28 | Le nombre 2 argument de connectedBodyPartTypes est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1737-1737 | Le nombre 2 argument de muscleInsertion est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1687-1687 | Le nombre 2 argument de muscleOrigin est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1945-1945 | Le nombre 2 argument de suppliesBlood est une sous-classe de partie du corps |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30178-30188 | Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1008-1019 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3628-3644 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14955-14961 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14963-14968 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9986-9994 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9964-9976 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11110-11116 |
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1505-1515 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6446-6451 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15077-15084 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15090-15096 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2118-2127 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9424-9431 |
|
|
|