No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14884-14885 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2832-2832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2828-2828 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2690-2690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2830-2830 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2827-2827 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2829-2829 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2833-2833 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14883-14883 |
Historical account is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14882-14882 |
Historical account is a subclass of narrative text |