involvedInEvent - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - involvedInEvent

involvedInEvent

appearance as argument number 1

(documentation involvedInEvent ChineseLanguage "(involvedInEvent ?EVENT ?THING) 的意思是在 ?EVENT这个 Process，?THING 这个 Entity 佔着一点 CaseRole。")	chinese_format.kif 1863-1864
(documentation involvedInEvent EnglishLanguage "(involvedInEvent ?EVENT ?THING) means that in the Process ?EVENT, the Entity ?THING plays some CaseRole.")	Merge.kif 2409-2410
(documentation involvedInEvent JapaneseLanguage "(involvedInEvent ?EVENT ?THING) とは、 Process ?EVENTでは、、Entity ?THING は CaseRole の役をする、という意味である。")	japanese_format.kif 486-487
(domain involvedInEvent 1 Process)	Merge.kif 2414-2414	The number 1 argument of involved in event is an instance of process
(domain involvedInEvent 2 Entity)	Merge.kif 2415-2415	The number 2 argument of involved in event is an instance of entity
(instance involvedInEvent AsymmetricRelation)	Merge.kif 2413-2413	involved in event is an instance of asymmetric relation
(instance involvedInEvent BinaryPredicate)	Merge.kif 2412-2412	involved in event is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage involvedInEvent "%2 %n 是事件 %1 的 involved ")	domainEnglishFormat.kif 1389-1389
(format ChineseTraditionalLanguage involvedInEvent "%2 %n 是事件 %1 的 involved ")	domainEnglishFormat.kif 1388-1388
(format EnglishLanguage involvedInEvent "%2 is %n an involved in event of %1")	domainEnglishFormat.kif 1387-1387
(subrelation agent involvedInEvent)	Merge.kif 2435-2435	agent is a subrelation of involved in event
(subrelation destination involvedInEvent)	Merge.kif 2446-2446	destination is a subrelation of involved in event
(subrelation direction involvedInEvent)	Merge.kif 17011-17011	direction is a subrelation of involved in event
(subrelation eventPartlyLocated involvedInEvent)	Merge.kif 4118-4118	event partly located is a subrelation of involved in event
(subrelation experiencer involvedInEvent)	Merge.kif 2460-2460	experiencer is a subrelation of involved in event
(subrelation moves involvedInEvent)	Merge.kif 11021-11021	moves is a subrelation of involved in event
(subrelation origin involvedInEvent)	Merge.kif 2484-2484	origin is a subrelation of involved in event
(subrelation patient involvedInEvent)	Merge.kif 2497-2497	patient is a subrelation of involved in event
(termFormat ChineseLanguage involvedInEvent "参与活动")	domainEnglishFormat.kif 30935-30935	patient is a subrelation of involved in event
(termFormat ChineseTraditionalLanguage involvedInEvent "參與活動")	domainEnglishFormat.kif 30934-30934	patient is a subrelation of involved in event
(termFormat EnglishLanguage involvedInEvent "involved in event")	domainEnglishFormat.kif 30933-30933	patient is a subrelation of involved in event

antecedent

(<=> (subrelation ?PRED involvedInEvent) (instance ?PRED CaseRole))	Media.kif 119-121	A relation is a subrelation of involved in event if and only if the relation is an instance of case role
(=> (and (instance ?E Epidemic) (involvedInEvent ?E ?H)) (or (and (instance ?D DiseaseOrSyndrome) (attribute ?H ?D)) (exists (?P) (and (instance ?P PathologicProcess) (experiencer ?P ?H) (subProcess ?P ?E)))))	Medicine.kif 3517-3529	If a process is an instance of epidemic and an agent is an involved in event of the process, then an attribute is an instance of disease or syndrome and the attribute is an attribute of the agent or there exists another process such that the other process is an instance of pathologic process and the agent experiences the other process and the other process is a subprocess of the process
(=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely))	Mid-level-ontology.kif 9992-10013	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer, then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely
(=> (and (instance ?LGP LargeGroupProcess) (instance ?G Collection) (member ?M ?G) (involvedInEvent ?LGP ?M) (memberCount ?G ?N)) (greaterThan ?N 10))	Mid-level-ontology.kif 8158-8165	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process and an integer is a member count of the collection, then the integer is greater than 10
(=> (and (instance ?LGP LargeGroupProcess) (instance ?G Collection) (member ?M ?G) (involvedInEvent ?LGP ?M)) (exists (?P ?PC) (and (instance ?PC ?P) (involvedInEvent ?PC ?M))))	Mid-level-ontology.kif 8167-8176	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC

consequent

(<=> (holdsDuring ?T (attribute ?H Alone)) (not (exists (?H2 ?SI) (and (not (equal ?H ?H2)) (instance ?H2 AutonomousAgent) (instance ?SI SocialInteraction) (during (WhenFn ?SI) ?T) (involvedInEvent ?SI ?H) (involvedInEvent ?SI ?H2)))))	Mid-level-ontology.kif 30480-30493	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that the entity is not equal to the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
(=> (and (instance ?LGP LargeGroupProcess) (instance ?G Collection) (member ?M ?G) (involvedInEvent ?LGP ?M)) (exists (?P ?PC) (and (instance ?PC ?P) (involvedInEvent ?PC ?M))))	Mid-level-ontology.kif 8167-8176	If a process is an instance of large group process and a collection is an instance of collection and a physical is a member of the collection and the physical is an involved in event of the process, then there exist a class and the classC such that the classC is an instance of the class and the physical is an involved in event of the classC
(=> (attribute ?X MeanOfProduction) (hasPurpose ?X (or (exists (?MAKE ?PRODUCT) (and (instance ?MAKE Making) (involvedInEvent ?MAKE ?X) (not (result ?MAKE ?X)) (instance ?PRODUCT Artifact) (result ?MAKE ?PRODUCT) (hasPurpose ?PRODUCT (exists (?SELL) (and (instance ?SELL Selling) (patient ?SELL ?PRODUCT)))))) (exists (?SERVICE) (and (instance ?SERVICE CommercialService) (involvedInEvent ?SERVICE ?X))))))	Economy.kif 5747-5767	If mean of production is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of making and the object is an involved in event of the entity and the object is not a result of the entity and the other entity is an instance of artifact and the other entity is a result of the entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of selling and the other entity is a patient of the third entity or there exists a fourth entity such that the fourth entity is an instance of commercial service and the object is an involved in event of the fourth entity
(=> (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP))))))	Mid-level-ontology.kif 18666-18673	If an organization is equal to another organization is preventing a kind of physical, then the other organization doesn't desire there exists an entity such that the entity is an instance of a kind of physical and the other organization is an involved in event of the entity
(=> (hazardous ?A ?B) (modalAttribute (exists (?D) (and (instance ?D Damaging) (patient ?D ?B) (or (involvedInEvent ?D ?A) (causes ?A ?D)))) Possibility))	Geography.kif 5876-5885	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
(=> (holdsDuring ?T (attribute ?H PostTraumaticStressDisorder)) (exists (?V) (and (instance ?V ViolentContest) (earlier (WhenFn ?V) ?T) (involvedInEvent ?V ?H))))	Mid-level-ontology.kif 9965-9973	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
(=> (instance ?E Pandemic) (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2) (and (involvedInEvent ?E ?H1) (involvedInEvent ?E ?H2) (not (equal ?H1 ?H2)) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (instance ?C1 Continent) (instance ?C2 Continent) (not (equal ?C1 ?C2)) (holdsDuring (WhenFn ?E) (or (and (located ?H1 ?C1) (located ?H2 ?C2)) (and (located ?H1 ?N1) (located ?H2 ?N2)))))))	Medicine.kif 3537-3561	If a process is an instance of pandemic, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is not equal to the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and the third entity is not equal to the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and the fifth entity is not equal to the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
(=> (instance ?INTERACTION SocialInteraction) (exists (?AGENT1 ?AGENT2) (and (involvedInEvent ?INTERACTION ?AGENT1) (involvedInEvent ?INTERACTION ?AGENT2) (instance ?AGENT1 AutonomousAgent) (instance ?AGENT2 AutonomousAgent) (not (equal ?AGENT1 ?AGENT2)))))	Merge.kif 13050-13059	If a process is an instance of social interaction, then there exist an entity and another entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is an instance of agent and the other entity is an instance of agent and the entity is not equal to the other entity
(=> (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 5888-5898	If an entity is an instance of parasite, then the statement there exist another entity and the entityROC such that the entity is located at the other entity and the entity is an involved in event of the entityROC and the other entity is an involved in event of the entityROC and the entity is a beneficiary of the entityROC and the other entity suffers from the entityROC has the modal force of likely
(=> (instance ?R CaseRole) (subrelation ?R involvedInEvent))	Merge.kif 2427-2429	If a relation is an instance of case role, then the relation is a subrelation of involved in event
(=> (manner ?P Solely) (exists (?H) (and (involvedInEvent ?P ?H) (instance ?H AutonomousAgent) (not (exists (?H2) (and (involvedInEvent ?P ?H2) (instance ?H2 AutonomousAgent) (not (equal ?H ?H2))))))))	Mid-level-ontology.kif 30464-30475	If a process is performed in the manner Solely, then there exists an entity such that the entity is an involved in event of the process and the entity is an instance of agent and there doesn't exist the entity2 such that the entity2 is an involved in event of the process and the entity2 is an instance of agent and the entity is not equal to the entity2

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

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