No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18799-18800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5921-5921 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6291-6291 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6292-6292 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6293-6293 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18798-18798 |
CollegeSophomore est une instance de CollegeStudentPosition |