suffers |
appearance as argument number 1 |
(documentation suffers EnglishLanguage "The opposite of benefits. The Agent does not want the action to occur.") | Mid-level-ontology.kif 29633-29634 | |
(domain suffers 1 Process) | Mid-level-ontology.kif 29631-29631 | 域 suffers, 1 and Process |
(domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 29632-29632 | 域 suffers, 2 and AutonomousAgent |
(instance suffers BinaryRelation) | Mid-level-ontology.kif 29629-29629 | 例 suffers and BinaryRelation |
(instance suffers CaseRole) | Mid-level-ontology.kif 29628-29628 | 例 suffers and CaseRole |
(instance suffers PartialValuedRelation) | Mid-level-ontology.kif 29630-29630 | 例 suffers and PartialValuedRelation |
appearance as argument number 2 |
(format ChineseLanguage suffers "%2 suffers 从 %1 ") | domainEnglishFormat.kif 4718-4718 | |
(format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") | domainEnglishFormat.kif 4717-4717 | |
(format EnglishLanguage suffers "%2 suffers from %1") | domainEnglishFormat.kif 4716-4716 | |
(termFormat EnglishLanguage suffers "suffers") | domainEnglishFormat.kif 65950-65950 |
antecedent |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 29646-29655 | |
(=> (and (instance ?G Gaslighting) (agent ?G ?A) (suffers ?G ?H)) (exists (?P) (and (instance ?P Perception) (experiencer ?P ?H) (causesProposition (suffers ?G ?H) (not (knows ?H (result ?P ?R))))))) |
Medicine.kif 3665-3678 |
|
(=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 29636-29639 | |
(=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 29661-29664 |
consequent |