No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10709-10710 |
|
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. |
Mid-level-ontology.kif 10705-10705 |
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 10702-10702 |
bodyAngle est une instance de pr�dicat ternaire |