No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1086-1086 |
CompanionateLove 是 Love 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 981-981 |
PassionateLove 是 Love 的 subAttribute |
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 英语, Love and "loving" |