No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14947-14948 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2884-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2888-2888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2885-2885 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2887-2887 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2715-2715 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2886-2886 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2883-2883 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2882-2882 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2880-2880 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2881-2881 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14946-14946 |
小说 是 书 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14945-14945 |
小说 是 虚构的文字 的 subclass |