No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16867-16868 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16865-16865 |
域 teacher, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16866-16866 |
域 teacher, 2 and EducationalOrganization |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1262-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16864-16864 |
例 teacher and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16863-16863 |
子關係 teacher and 會員 |