(=>
(instance ?R CaseRole)
(subrelation ?R involvedInEvent)) |
Merge.kif 2535-2537 |
If X is an instance of case role, then X is a subrelation of involved in event |
(=>
(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 13302-13311 |
If X is an instance of social interaction, then All of the following hold: (1) there exist Y (2) Z such that Y is an involved in event of X (3) Z is an involved in event of X (4) Y is an instance of agent (5) Z is an instance of agent (6) equal Y (7) Z |
(=>
(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 |
(=>
(and
(instance ?LGP LargeGroupProcess)
(instance ?G CollectionOfObjects)
(member ?M ?G)
(involvedInEvent ?LGP ?M))
(exists (?P ?PC)
(and
(instance ?PC ?P)
(involvedInEvent ?PC ?M)))) |
Mid-level-ontology.kif 9270-9279 |
If X is an instance of large group process, Y is an instance of collection, Z is a member of Y, and Z is an involved in event of X, then there exist W, V such that V is an instance of W, and Z is an involved in event of V |
(=>
(holdsDuring ?T
(attribute ?H PostTraumaticStressDisorder))
(exists (?V)
(and
(instance ?V ViolentContest)
(earlier
(WhenFn ?V) ?T)
(involvedInEvent ?V ?H)))) |
Mid-level-ontology.kif 11192-11200 |
If PTSD is an attribute of X holds during Y, then there exists Z such that Z is an instance of violent contest, the time of existence of Z happens earlier than Y, and X is an involved in event of Z |
(=>
(equal ?DEP
(DepartmentOfPreventingFn ?COMP ?PHYS))
(not
(desires ?COMP
(exists (?P)
(and
(instance ?P ?PHYS)
(involvedInEvent ?P ?COMP)))))) |
Mid-level-ontology.kif 20313-20320 |
If equal X and Y is preventing Z, then Y doesn't desire there doesn't exist W such that W is an instance of Z and Y is an involved in event of W |
(=>
(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 32841-32852 |
If X is performed in the manner Solely, then there exists Y such that Y is an involved in event of X, Y is an instance of agent, there doesn't exist Z such that Z is an involved in event of X, Z is an instance of agent, equal Y, and Z |
(<=>
(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 32857-32870 |
All of the following hold: (1) Alone is an attribute of X holds during Y if (2) only if there don't exist Z (3) W such that equal X (4) Z (5) Z is an instance of agent (6) W is an instance of social interaction (7) the time of existence of W takes place during Y (8) X is an involved in event of W (9) Z is an involved in event of W |
(=>
(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 6108-6128 |
If mean of production is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of making (3) X is an involved in event of Y (4) X is not a result of Y (5) Z is an instance of artifact (6) Z is a result of Y (7) Z has the purpose there exists W such that W is an instance of selling (8) Z is a patient of W or there exists V such that V is an instance of commercial service (9) X is an involved in event of V |
(=>
(hazardous ?A ?B)
(modalAttribute
(exists (?D)
(and
(instance ?D Damaging)
(patient ?D ?B)
(or
(involvedInEvent ?D ?A)
(causes ?A ?D)))) Possibility)) |
Geography.kif 7476-7485 |
If X is hazardous to Y, then the statement there exists Z such that Z is an instance of damaging, Y is a patient of Z, and X is an involved in event of Z or X causes Z has the modal force of possibility |
(=>
(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 3567-3591 |
If X is an instance of pandemic, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an involved in event of X (3) Z is an involved in event of X (4) equal Y (5) Z (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) U is an instance of continent (11) T is an instance of continent (12) equal U (13) T (14) Y is located at U (15) Z is located at T or Y is located at W (16) Z is located at V holds during the time of existence of X |
(=>
(instance ?MV MilitarySupportVehicle)
(hasPurpose ?MV
(exists (?P)
(and
(instance ?P MilitaryProcess)
(involvedInEvent ?P ?MV)
(not
(exists (?A)
(and
(instance ?A ViolentContest)
(instrument ?A ?MV)))))))) |
Military.kif 466-477 |
If X is an instance of military support vehicle, then X has the purpose there exists Y such that Y is an instance of military process, X is an involved in event of Y, there doesn't exist Z such that Z is an instance of violent contest, and X is an instrument for Z |
