(<=>
(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 |
- 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 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 |
|