No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10708-10709 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10702-10702 |
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 10703-10703 |
Le nombre 2 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 3 argument de bodyAngle est une instance de mesure d'angle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10701-10701 |
bodyAngle est une instance de pr�dicat ternaire |