No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19296-19298 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11791-11791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11795-11795 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11790-11790 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11792-11792 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11794-11794 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11793-11793 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19295-19295 |
Satisfaction is a subattribute of happiness |