(<=>
(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 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 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 |
- Wenn Process ist ein fall von Pandemic %n{nicht},
- dann es gibt Entity, ** Entity,, , ** Entity,, , ** Entity,, , ** Entity, and und ** Entity um involvedInEvent ** Process and ** Entity und involvedInEvent ** Process and ** ** Entity und ** Entity ist gleich ** ** Entity nicht und ** ** Entity ist ein fall von Nation %n{nicht} und ** ** Entity ist ein fall von Nation %n{nicht} und ** ** Entity ist gleich ** ** Entity nicht und ** ** Entity ist ein fall von Continent %n{nicht} und ** ** Entity ist ein fall von Continent %n{nicht} und ** ** Entity ist gleich ** ** Entity nicht und ** Entity befindet sich an %n{nicht} und ** ** Entity befindet sich an %n{nicht} oder ** Entity befindet sich an %n{nicht} und ** ** Entity befindet sich an %n{nicht} haelt waehrend die zeit des Bestehens von ** Process %n{nicht}
|
(=>
(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 |
|