No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19300-19300 |
Tranquility est l'oppos� de anxiété |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19301-19301 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8098-8098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8099-8099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8100-8100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6926-6926 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19299-19299 |
Tranquility est un sous-attribut de bonheur |