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 |
子類 公共圖書館 and 政府組織 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8515-8515 |
子類 公共圖書館 and 圖書館 |