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	O argumento numero 1 de suffers e' uma instancia de Processo
(domain suffers 2 AutonomousAgent)	Mid-level-ontology.kif 29569-29569	O argumento numero 2 de suffers e' uma instancia de AutonomousAgent
(instance suffers BinaryRelation)	Mid-level-ontology.kif 29566-29566	suffers e' uma instancia de Relacao Binaria
(instance suffers CaseRole)	Mid-level-ontology.kif 29565-29565	suffers e' uma instancia de Role em Caso
(instance suffers PartialValuedRelation)	Mid-level-ontology.kif 29567-29567	suffers e' uma instancia de Relacao Parcial

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	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent suffers Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
(=> (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	Processo e' uma instancia de Gaslighting Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent Processo Processo e' uma instancia de Percepcao AutonomousAgent experimenta Processo causesProposition suffers Processo and AutonomousAgent and AutonomousAgent nao sabe %n Entidade e' o resultado de Processo
(=> (suffers ?A ?B) (not (benefits ?A ?B)))	Mid-level-ontology.kif 29573-29576	suffers Processo and AutonomousAgent benefits Processo and AutonomousAgent
(=> (suffers ?A ?B) (not (wants ?B ?A)))	Mid-level-ontology.kif 29598-29601	suffers Processo and Agente Cognitivo Agente Cognitivo nao quer %n Processo

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	AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Entidade Processo causa Entidade suffers Entidade and Agente Cognitivo tem a forca modal de 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	AutonomousAgent emprega Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Agente CognitivoROC Processo causa Agente CognitivoROC suffers Agente CognitivoROC and Agente Cognitivo tem a forca modal de 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	Processo e' uma instancia de Apologizing Processo e' um agente de ProcessoG Processo termina em AutonomousAgent ProcessoCT suffers ProcessoCT and AutonomousAgent ProcessoCT e' um agente de ProcessoG ProcessoG nao quer %n ProcessoCT vale durante tempo de existencia de Processo
(=> (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	Processo e' uma instancia de Gaslighting Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent Processo Processo e' uma instancia de Percepcao AutonomousAgent experimenta Processo causesProposition suffers Processo and AutonomousAgent and AutonomousAgent nao sabe %n Entidade e' o resultado de Processo
(=> (benefits ?A ?B) (not (suffers ?A ?B)))	Mid-level-ontology.kif 29578-29581	benefits Processo and AutonomousAgent suffers Processo 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	Transferencia e' uma instancia de Defrauding AutonomousAgent AutonomousAgent and Objeto Transferencia e' um agente de AutonomousAgent suffers Transferencia and AutonomousAgent benefits Transferencia and AutonomousAgent objectTransferred Transferencia and Objeto Objeto tem como origem AutonomousAgent Objeto termina em AutonomousAgent
(=> (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	Entidade e' uma instancia de Parasite o argumento Entidade EntidadeROC Entidade e' situado em Entidade involvedInEvent EntidadeROC and Entidade involvedInEvent EntidadeROC and Entidade benefits EntidadeROC and Entidade suffers EntidadeROC and Entidade tem a forca modal de Likely
(=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H))))	Medicine.kif 3061-3068	Agente Cognitivo e' membro de AntiVaxxer Agente Cognitivo acredita que Entidade e' uma instancia de Vaccination Entidade experimenta Entidade suffers Entidade and Entidade
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H))))	Law.kif 140-145	punishes AutonomousAgent and AutonomousAgent Processo Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent
(=> (victim ?P ?V) (suffers ?P ?V))	Law.kif 266-268	victim CriminalAction and AutonomousAgent 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