Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| suffers |
| appearance as argument number 1 |
|
| (instance suffers CaseRole) | Mid-level-ontology.kif 32184-32184 | suffers is an instance of case role |
| (instance suffers BinaryPredicate) | Mid-level-ontology.kif 32185-32185 | suffers is an instance of binary predicate |
| (instance suffers PartialValuedRelation) | Mid-level-ontology.kif 32186-32186 | suffers is an instance of partial valued relation |
| (domain suffers 1 Process) | Mid-level-ontology.kif 32187-32187 | The number 1 argument of suffers is an instance of process |
| (domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 32188-32188 | The number 2 argument of suffers is an instance of agent |
| (documentation suffers EnglishLanguage "The opposite of benefits. The Agent does not want the action to occur.") | Mid-level-ontology.kif 32189-32190 | The number 2 argument of suffers is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage suffers "%2 suffers from %1") | domainEnglishFormat.kif 4720-4720 | |
| (format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") | domainEnglishFormat.kif 4721-4721 | |
| (format ChineseLanguage suffers "%2 suffers 从 %1 ") | domainEnglishFormat.kif 4722-4722 | |
| (termFormat EnglishLanguage suffers "suffers") | domainEnglishFormat.kif 65984-65984 |
| antecedent |
|
|
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 32192-32195 | If X suffers from Y, then X is not a beneficiary of Y |
| (=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 32202-32211 | If equal X and the beginning of the time of existence of Y, equal Z and the end of the time of existence of W, and W suffers from Y, then X happens before Z |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 32217-32220 | If X suffers from Y, then X doesn't want Y |
| (=> (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 3696-3709 | If X is an instance of gaslighting, Y is an agent of X, and Z suffers from X, then there exists W such that W is an instance of perception, Z experiences W, and Z doesn't know V is not a result of W is a causes proposition of Z suffers from X |
| consequent |
|
|
| (=> (instance ?P Parasite) (modalAttribute (exists (?H ?PROC) (and (located ?P ?H) (involvedInEvent ?PROC ?P) (involvedInEvent ?PROC ?H) (benefits ?PROC ?P) (suffers ?PROC ?H))) Likely)) |
Mid-level-ontology.kif 7013-7023 | If X is an instance of parasite, then the statement there exist Y, Z such that X is located at Y, X is an involved in event of Z, Y is an involved in event of Z, X is a beneficiary of Z, and Y suffers from Z has the modal force of likely |
| (=> (victim ?P ?V) (suffers ?P ?V)) |
Mid-level-ontology.kif 17780-17782 | If X is the victim in Y, then X suffers from Y |
| (=> (instance ?D Defrauding) (exists (?A ?P ?O) (and (agent ?D ?A) (suffers ?D ?P) (benefits ?D ?A) (objectTransferred ?D ?O) (origin ?O ?P) (destination ?O ?A)))) |
Mid-level-ontology.kif 20216-20225 | If X is an instance of defrauding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Z suffers from X (4) Y is a beneficiary of X (5) the object transferred in X is W (6) W originates at Z (7) W ends up at Y |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 32197-32200 | If X is a beneficiary of Y, then X suffers from Y |
| (=> (and (instance ?A Apologizing) (agent ?A ?AG) (destination ?A ?P)) (exists (?ACT) (and (suffers ?ACT ?P) (agent ?ACT ?AG) (holdsDuring (WhenFn ?A) (not (wants ?AG ?ACT)))))) |
Mid-level-ontology.kif 32227-32239 | If X is an instance of apologizing, Y is an agent of X, and X ends up at Z, then there exists W such that Z suffers from W, Y is an agent of W, and Y doesn't want W holds during the time of existence of X |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H)))) |
Law.kif 140-145 | If X punishes Y, then there exists Z such that X is an agent of Z and Y suffers from Z |
| (=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3028-3044 | If All of the following hold: (1) X employs Y (2) X employs Z (3) W is an instance of do network messaging (4) V is a result of W (5) not safe for work is an attribute of V (6) Y is an agent of W (7) U is an instance of seeing (8) V is a patient of U (9) Z is an agent of U, then the statement there exists T such that W causes T and Y suffers from T has the modal force of likely |
| (=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3046-3060 | If All of the following hold: (1) X employs Y (2) Z is an instance of do network messaging (3) W is a result of Z (4) not safe for work is an attribute of W (5) V is an instance of seeing (6) W is a patient of V (7) Y is an agent of V, then the statement there exists U such that V causes U and Y suffers from U has the modal force of possibility |
| (=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3067-3074 | If X is a member of anti-vaxxer, then X believes Y is an instance of vaccination and Z experiences YZ suffers from Y |
| (=> (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 3696-3709 | If X is an instance of gaslighting, Y is an agent of X, and Z suffers from X, then there exists W such that W is an instance of perception, Z experiences W, and Z doesn't know V is not a result of W is a causes proposition of Z suffers from X |
|