No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7647-7648 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6617-6617 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8526-8526 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 115-115 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7087-7087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9307-9307 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7088-7088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7646-7646 |
子類 醫院建築 and 暫住 |