Pleasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 763-763	Pleasure 是痛的相反
No TPTP formula. May not be expressible in strict first order.	emotion.kif 779-781
No TPTP formula. May not be expressible in strict first order.	emotion.kif 777-777	Pleasure 是情绪状态的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1162-1162	AestheticPleasure 是 Pleasure 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 805-805	MasteryPleasure 是 Pleasure 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 764-764	Schadenfreude 是 Pleasure 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 791-791	SensoryPleasure 是 Pleasure 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1096-1096	SexualPleasure 是 Pleasure 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1063-1063	SocialPleasure 是 Pleasure 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	emotion.kif 778-778
No TPTP formula. May not be expressible in strict first order.	emotion.kif 783-783
No TPTP formula. May not be expressible in strict first order.	emotion.kif 782-782
No TPTP formula. May not be expressible in strict first order.	emotion.kif 784-784
No TPTP formula. May not be expressible in strict first order.	emotion.kif 785-785	utterance 英语, Pleasure and "pleased"