TreeView Knowledge Base Browser - suffers

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - suffers

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	Wenn TimePoint ist gleich der anfang von die zeit des Bestehens von Process %n{nicht} und TimePoint ist gleich das ende von die zeit des Bestehens von AutonomousAgent %n{nicht} und suffers Process and AutonomousAgent, dann TimePoint geschieht vor TimePoint %n{nicht}
(=> (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	Wenn Process ist ein fall von Gaslighting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und suffers Process and AutonomousAgent, dann es gibt Process um Process ist ein fall von Perception %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und causesProposition suffers Process and AutonomousAgent and AutonomousAgent kennt entity ist ein resultat von ** Process %n{nicht} nicht
(=> (suffers ?A ?B) (not (benefits ?A ?B)))	Mid-level-ontology.kif 29573-29576	Wenn suffers Process and AutonomousAgent, dann benefits Process and AutonomousAgent
(=> (suffers ?A ?B) (not (wants ?B ?A)))	Mid-level-ontology.kif 29598-29601	Wenn suffers Process and CognitiveAgent, dann CognitiveAgent wuenscht Process nicht

consequent

(=> (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 3040-3054	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt entity um Process verursacht entity %n{nicht} und suffers entity and CognitiveAgent hat die modale Kraft von Possibility
(=> (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 3022-3038	Wenn AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und Process ist ein fall von DoNetworkMessaging %n{nicht} und Object ist ein resultat von Process %n{nicht} und NSFW ist ein attribut von Object %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process ist ein fall von Seeing %n{nicht} und Object ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht}, dann die Aussage es gibt CognitiveAgentROC um Process verursacht CognitiveAgentROC %n{nicht} und suffers CognitiveAgentROC and ** CognitiveAgent hat die modale Kraft von Likely
(=> (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 29608-29620	Wenn Process ist ein fall von Apologizing %n{nicht} und Process ist der agent von ProcessG %n{nicht} und Process endet an AutonomousAgent %n{nicht}, dann es gibt ProcessCT um suffers ProcessCT and AutonomousAgent und ProcessCT ist der agent von ProcessG %n{nicht} und ProcessG wuenscht ProcessCT nicht haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
(=> (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	Wenn Process ist ein fall von Gaslighting %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und suffers Process and AutonomousAgent, dann es gibt Process um Process ist ein fall von Perception %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und causesProposition suffers Process and AutonomousAgent and AutonomousAgent kennt entity ist ein resultat von ** Process %n{nicht} nicht
(=> (benefits ?A ?B) (not (suffers ?A ?B)))	Mid-level-ontology.kif 29578-29581	Wenn benefits Process and AutonomousAgent, dann suffers Process and AutonomousAgent
(=> (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 18310-18319	Wenn Transfer ist ein fall von Defrauding %n{nicht}, dann es gibt AutonomousAgent, AutonomousAgent, and und Object um Transfer ist der agent von AutonomousAgent %n{nicht} und suffers Transfer and AutonomousAgent und benefits Transfer and AutonomousAgent und objectTransferred Transfer and Object und Object beginnet an AutonomousAgent %n{nicht} und Object endet an ** AutonomousAgent %n{nicht}
(=> (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 5893-5903	Wenn Entity ist ein fall von Parasite %n{nicht}, dann die Aussage es gibt entity und EntityROC um Entity befindet sich an %n{nicht} und involvedInEvent EntityROC and Entity und involvedInEvent EntityROC and entity und benefits EntityROC and Entity und suffers EntityROC and ** entity hat die modale Kraft von Likely
(=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H))))	Medicine.kif 3061-3068	Wenn CognitiveAgent ist ein Mitglied von AntiVaxxer %n{nicht}, dann CognitiveAgent glaubt %n{nicht}, dass wenn entity ist ein fall von Vaccination %n{nicht} und entity erfaehrt entity %n{nicht}, dann suffers entity and entity
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H))))	Law.kif 140-145	Wenn punishes AutonomousAgent and AutonomousAgent, dann es gibt Process um Process ist der agent von AutonomousAgent %n{nicht} und suffers Process and AutonomousAgent
(=> (victim ?P ?V) (suffers ?P ?V))	Law.kif 266-268	Wenn victim CriminalAction and AutonomousAgent, dann suffers CriminalAction and AutonomousAgent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners