No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14962-14963 |
|
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 14961-14961 |
MysteryStory e' uma sub-classe de FictionalText |