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 | Die Zahl 1 Argument von involvedInEvent ist ein fall von Process %n{nicht} |
(domain involvedInEvent 2 Entity) | Merge.kif 2415-2415 | Die Zahl 2 Argument von involvedInEvent ist ein fall von Entity %n{nicht} |
(instance involvedInEvent AsymmetricRelation) | Merge.kif 2413-2413 | involvedInEvent ist ein fall von AsymmetricRelation %n{nicht} |
(instance involvedInEvent BinaryPredicate) | Merge.kif 2412-2412 | involvedInEvent ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
antecedent |
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 30223-30236 | Alone ist ein attribut von Entity %n{nicht} haelt waehrend TimeInterval %n{nicht} genau dann wenn es gibt nicht ** Entity2 und Process um ** Entity ist gleich ** Entity2 nicht und ** Entity2 ist ein fall von AutonomousAgent %n{nicht} und ** Process ist ein fall von SocialInteraction %n{nicht} und die zeit des Bestehens von ** Process geschieht waehrend ** TimeInterval %n{nicht} und involvedInEvent ** Process and ** Entity und involvedInEvent ** Process and ** Entity2 |
(=> (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 7949-7958 |
|
(=> (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 |
|
(=> (equal ?DEP (DepartmentOfPreventingFn ?COMP ?PHYS)) (not (desires ?COMP (exists (?P) (and (instance ?P ?PHYS) (involvedInEvent ?P ?COMP)))))) |
Mid-level-ontology.kif 18408-18415 |
|
(=> (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 |
|
(=> (holdsDuring ?T (attribute ?H PostTraumaticStressDisorder)) (exists (?V) (and (instance ?V ViolentContest) (earlier (WhenFn ?V) ?T) (involvedInEvent ?V ?H)))) |
Mid-level-ontology.kif 9747-9755 |
|
(=> (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 |
|
(=> (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 13004-13013 |
|
(=> (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 5894-5904 |
|
(=> (instance ?R CaseRole) (subrelation ?R involvedInEvent)) |
Merge.kif 2427-2429 |
|
(=> (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 30207-30218 |
|