No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18751-18751 |
CollegeFreshman e' uma instancia de CollegeStudentPosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18766-18766 |
CollegeJunior e' uma instancia de CollegeStudentPosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18782-18782 |
CollegeSenior e' uma instancia de CollegeStudentPosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18798-18798 |
CollegeSophomore e' uma instancia de CollegeStudentPosition |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15620-15620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15619-15619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15618-15618 |
|