(<=>
(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 30247-30260 |
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 7976-7985 |
|
(=>
(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 18435-18442 |
|
(=>
(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 9774-9782 |
|
(=>
(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 |
|
(=>
(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 |
|
(=>
(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 30231-30242 |
|