No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14934-14935 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2875-2875 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2873-2873 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2874-2874 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2877-2877 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2872-2872 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2876-2876 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14933-14933 |
MysteryStory est une sous-classe de FictionalText |