No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8489-8490 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6802-6802 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7670-7670 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7671-7671 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7672-7672 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8488-8488 |
Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8487-8487 |
Public library is a subclass of library |