No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16812-16813 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16809-16809 |
Le nombre 1 argument de classmate est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16810-16810 |
Le nombre 2 argument de classmate est une instance de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16811-16811 |
Le nombre 3 argument de classmate est une instance de EducationalCourse |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16808-16808 |
classmate est une instance de relation irr�flexive |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16807-16807 |
classmate est une instance de pr�dicat ternaire |