No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18771-18772 |
|
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 18770-18770 |
CollegeSophomore e' uma instancia de CollegeStudentPosition |