No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8517-8518 |
|
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 8516-8516 |
PublicLibrary e' uma sub-classe de GovernmentOrganization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8515-8515 |
PublicLibrary e' uma sub-classe de Library |