No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23129-23130 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23131-23131 |
Le nombre 1 argument de uncle est une instance de Man |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23132-23132 |
Le nombre 2 argument de uncle est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23134-23134 |
uncle est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23133-23133 |
uncle est une sous-relation de familyRelation |