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 29570-29571 | |
(domain suffers 1 Process) | Mid-level-ontology.kif 29568-29568 | Die Zahl 1 Argument von suffers ist ein fall von Process %n{nicht} |
(domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 29569-29569 | Die Zahl 2 Argument von suffers ist ein fall von AutonomousAgent %n{nicht} |
(instance suffers BinaryRelation) | Mid-level-ontology.kif 29566-29566 | suffers ist ein fall von BinaryRelation %n{nicht} |
(instance suffers CaseRole) | Mid-level-ontology.kif 29565-29565 | suffers ist ein fall von CaseRole %n{nicht} |
(instance suffers PartialValuedRelation) | Mid-level-ontology.kif 29567-29567 | suffers ist ein fall von PartialValuedRelation %n{nicht} |
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 29583-29592 |
|
(=> (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 29573-29576 |
|
(=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 29598-29601 |
|
consequent |
![]() |
![]() |
![]() |