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 |
The number 1 argument of body angle is an instance of body part |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10704-10704 |
The number 2 argument of body angle is an instance of body part |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10705-10705 |
The number 3 argument of body angle is an instance of angle measure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10702-10702 |
body angle is an instance of ternary predicate |