No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1086-1086 |
Companionate love is a subattribute of love |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 981-981 |
Passionate love is a subattribute of love |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 743-743 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 745-745 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 742-742 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 738-738 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 744-744 |
utterance english language, love and "loving" |