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 |
Novel is a subclass of book |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14945-14945 |
Novel is a subclass of fictional text |