No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14800-14802 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 690-690 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2730-2730 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2920-2920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2924-2924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2921-2921 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2923-2923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2922-2922 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2925-2925 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14799-14799 |
Report is a subclass of article |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14798-14798 |
Report is a subclass of factual text |