No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18207-18208 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5922-5922 |
|
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. |
pictureList.kif 6294-6294 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18206-18206 |
College sophomore is an instance of college student position |