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 29582-29583 | |
(domain suffers 1 Process) | Mid-level-ontology.kif 29580-29580 | 域 suffers, 1 and Process |
(domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 29581-29581 | 域 suffers, 2 and AutonomousAgent |
(instance suffers BinaryRelation) | Mid-level-ontology.kif 29578-29578 | 例 suffers and BinaryRelation |
(instance suffers CaseRole) | Mid-level-ontology.kif 29577-29577 | 例 suffers and CaseRole |
(instance suffers PartialValuedRelation) | Mid-level-ontology.kif 29579-29579 | 例 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 65948-65948 |
antecedent |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 29595-29604 | |
(=> (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 29585-29588 | |
(=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 29610-29613 |
consequent |