No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20343-20344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5920-5920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6290-6290 |
|
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. |
Mid-level-ontology.kif 20342-20342 |
College sophomore is an instance of college student position |