No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21110-21111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7198-7198 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7197-7197 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7190-7190 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7192-7192 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6671-6671 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7193-7193 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7195-7195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7196-7196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7191-7191 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21109-21109 |
Literature is a subclass of field of study |