No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19301-19301 |
Tranquility is the opposite of anxiety |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19302-19302 |
|
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 19300-19300 |
Tranquility is a subattribute of happiness |