No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4472-4472 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10274-10274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11892-11892 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11893-11893 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11894-11894 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11895-11895 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11896-11896 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11897-11897 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11898-11898 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11899-11899 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11900-11900 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11902-11902 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11903-11903 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31445-31445 |
roomTempState stone and solid |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4471-4471 |
Stone is a subclass of rock |