No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18772-18773 |
|
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 18771-18771 |
College sophomore is an instance of college student position |