(=>
(and
(holdsDuring ?T1
(and
(attribute ?P Expellee)
(citizen ?P ?HOME-NATION)))
(instance ?T1 TimeInterval))
(exists (?TRANS ?NATION)
(and
(instance ?NATION Nation)
(not
(equal ?NATION ?HOME-NATION))
(instance ?TRANS Translocation)
(origin ?TRANS ?NATION)
(patient ?TRANS ?P)
(destination ?TRANS ?HOME-NATION)
(temporalPart ?T1
(WhenFn ?TRANS))))) |
MilitaryPersons.kif 151-167 |
|
(=>
(and
(instance ?B Barricade)
(partlyLocated ?B ?P))
(hasPurpose ?B
(not
(exists (?T)
(and
(instance ?T Translocation)
(path ?T ?P)))))) |
MilitaryDevices.kif 2003-2012 |
|
(=>
(and
(instance ?B Blockade)
(instance ?C Contest)
(subProcess ?B ?C)
(contestParticipant ?C ?A1)
(agent ?B ?A1))
(exists (?C1 ?A2)
(and
(prevents ?C1 Translocation)
(instance ?B ?C1)
(contestParticipant ?C ?A2)
(not
(equal ?A1 ?A2))
(desires ?A2
(exists (?I)
(and
(instance ?I ?C1)
(agent ?I ?A1)
(subProcess ?I ?C))))))) |
Mid-level-ontology.kif 22059-22078 |
|
(=>
(and
(instance ?DUSTSTORM DustStorm)
(instance ?WIND Wind)
(subProcess ?DUSTSTORM ?WIND))
(exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(and
(instance ?A1 LandArea)
(eventLocated ?WIND ?A1)
(surfaceWindSpeed ?A1
(MeasureFn ?STRONG KnotUnitOfSpeed))
(greaterThan ?STRONG 30.0)
(instance ?TRANSLOCATE Translocation)
(subProcess ?TRANSLOCATE ?DUSTSTORM)
(objectTransferred ?TRANSLOCATE ?PM)
(objectTransferred ?TRANSLOCATE ?SAND)
(instance ?PM ParticulateMatter)
(instance ?SAND Sand)
(instance ?A2 LandArea)
(destination ?TRANSLOCATE ?A2)
(not
(overlapsSpatially ?A1 ?A2))))) |
Weather.kif 1259-1280 |
|
(=>
(and
(instance ?EG EngineGovernor)
(instance ?V Vehicle)
(connectedEngineeringComponents ?EG ?V)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?T ?M)
(and
(instance ?T Translocation)
(holdsDuring
(WhenFn ?T)
(and
(measure ?V
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) |
Cars.kif 2940-2956 |
|
(=>
(and
(instance ?EV Evacuation)
(agent ?EV ?A)
(origin ?EV ?O))
(exists (?T ?TA)
(and
(instance ?T Translocation)
(subProcess ?T ?EV)
(origin ?T ?O)
(or
(experiencer ?T ?TA)
(agent ?T ?TA))
(or
(subOrganization ?TA ?A)
(member ?TA ?A)
(equal ?TA ?A))))) |
MilitaryProcesses.kif 2679-2695 |
|
(=>
(and
(instance ?EV Evacuation)
(origin ?EV ?OR)
(destination ?EV ?D))
(exists (?L)
(and
(instance ?L Translocation)
(subProcess ?L ?EV)
(destination ?L ?D)
(origin ?L ?OR)))) |
MilitaryProcesses.kif 2553-2563 |
|
(=>
(and
(instance ?I Infecting)
(experiencer ?I ?H))
(exists (?T ?R ?O)
(and
(instance ?T Translocation)
(moves ?T ?O)
(instance ?O Organism)
(instance ?R Replication)
(experiencer ?R ?O)
(subProcess ?T ?I)
(subProcess ?R ?I)))) |
Mid-level-ontology.kif 5841-5853 |
|
(=>
(and
(instance ?P FoodPickup)
(agent ?P ?AGENT)
(destination ?P ?CUST)
(patient ?P ?FOOD))
(and
(instance ?FOOD
(FoodForFn Human))
(exists (?LOC ?T ?G)
(and
(located ?AGENT ?LOC)
(instance ?T Translocation)
(agent ?T ?CUST)
(destination ?T ?LOC)
(instance ?G Getting)
(origin ?G ?AGENT)
(destination ?G ?CUST)
(patient ?G ?FOOD))))) |
Dining.kif 610-627 |
|
(=>
(and
(instance ?P ParkingBrake)
(instance ?V Vehicle)
(holdsDuring ?T1
(attribute ?P DeviceOn))
(part ?P ?V))
(hasPurpose ?P
(holdsDuring ?T1
(not
(exists (?T)
(and
(instance ?T Translocation)
(patient ?T ?V))))))) |
Cars.kif 567-580 |
|
(=>
(and
(instance ?P Passport)
(possesses ?A ?P))
(confersNorm ?P
(exists (?T ?N1 ?N2)
(and
(instance ?T Translocation)
(agent ?T ?A)
(origin ?T ?N1)
(destination ?T ?N2)
(instance ?N1 Nation)
(instance ?N2 Nation)
(not
(equal ?N1 ?N2)))) Permission)) |
Mid-level-ontology.kif 16779-16793 |
|
(=>
(and
(instance ?SS StayingStill)
(experiencer ?SS ?A))
(not
(exists (?B ?T)
(and
(instance ?B BodyMotion)
(instance ?T Translocation)
(causes ?B ?T)
(agent ?B ?A))))) |
emotion.kif 1523-1533 |
|
(=>
(and
(instance ?T1 Translocation)
(instance ?T2 Translocation)
(origin ?T1 ?O1)
(origin ?T2 ?D1)
(destination ?T1 ?D1)
(destination ?T2 ?D2)
(experiencer ?T1 ?P)
(experiencer ?T2 ?P))
(exists (?T)
(and
(instance ?T Translocation)
(origin ?T ?O1)
(destination ?T ?D2)
(subProcess ?T1 ?T)
(subProcess ?T2 ?T)
(experiencer ?T ?P)
(starts
(WhenFn ?T1)
(WhenFn ?T))
(finishes
(WhenFn ?T2)
(WhenFn ?T))))) |
Merge.kif 11351-11374 |
|
(=>
(and
(trafficableForTrafficType ?place ?type)
(subclass ?type AutonomousAgent)
(instance ?mover ?type))
(capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 3139-3144 |
|
(=>
(changesLocation ?EVENT ?OBJ)
(and
(instance ?EVENT Translocation)
(instance ?OBJ Object)
(or
(patient ?EVENT ?OBJ)
(agent ?EVENT ?OBJ)
(experiencer ?EVENT ?OBJ)))) |
Merge.kif 11037-11045 |
|
(=>
(instance ?AMR AutonomousMobileRobot)
(hasPurpose ?AMR
(exists (?T)
(and
(instance ?T Translocation)
(agent ?T ?AMR)
(patient ?T ?AMR)
(instrument ?T ?AMR)
(experiencer ?T ?AMR)
(not
(exists (?G ?A)
(and
(instance ?G Guiding)
(patient ?G ?AMR)
(agent ?G ?A)
(or
(instance ?A Human)
(instance ?A Device))))))))) |
engineering.kif 967-985 |
|
(=>
(instance ?ARRIVE Arriving)
(exists (?GO)
(and
(instance ?GO Translocation)
(subProcess ?ARRIVE ?GO)
(finishes
(WhenFn ?ARRIVE)
(WhenFn ?GO))))) |
Mid-level-ontology.kif 17569-17575 |
|
(=>
(instance ?B Bowling)
(exists (?BALL ?TRANS ?LANE)
(and
(instance ?TRANS Translocation)
(instance ?BALL BowlingBall)
(patient ?TRANS ?BALL)
(instance ?LANE BowlingLane)
(path ?TRANS ?LANE)
(subProcess ?TRANS ?B)))) |
Sports.kif 1108-1117 |
|
(=>
(instance ?B Bridge)
(hasPurpose ?B
(exists (?T ?X)
(and
(instance ?T Translocation)
(path ?T ?B)
(orientation ?B ?X Above)
(or
(instance ?X LandArea)
(instance ?X BodyOfWater)))))) |
Transportation.kif 1752-1762 |
|
(=>
(instance ?BL BowlingLane)
(hasPurpose ?BL
(exists (?TR ?BALL)
(and
(instance ?TR Translocation)
(instance ?BALL BowlingBall)
(patient ?TR ?BALL)
(path ?TR ?BL))))) |
Sports.kif 1147-1155 |
|
(=>
(instance ?F Furniture)
(capability Translocation moves ?F)) |
Mid-level-ontology.kif 3699-3701 |
|
(=>
(instance ?G Gasket)
(hasPurpose ?G
(exists (?O1 ?O2)
(and
(instance ?O1 CorpuscularObject)
(instance ?O2 CorpuscularObject)
(meetsSpatially ?O1 ?G)
(meetsSpatially ?O2 ?G)
(not
(exists (?H ?D ?T ?O)
(and
(instance ?H HoleRegion)
(equal ?G
(HoleHostFn ?H))
(instance ?T Translocation)
(path ?T ?H)
(origin ?T ?O)
(destination ?T ?D)
(contains ?O1 ?O)
(not
(contains ?O1 ?D))
(meetsSpatially ?O1 ?D)
(not
(exists (?O3)
(and
(contains ?H ?O3)
(not
(contains ?O1 ?O3))
(not
(contains ?O2 ?O3)))))))))))) |
Cars.kif 2826-2855 |
|
(=>
(instance ?HALL Hallway)
(hasPurpose ?HALL
(exists (?TRAN ?BUILD ?R1 ?R2)
(and
(instance ?TRAN Translocation)
(path ?TRAN ?HALL)
(located ?HALL ?BUILD)
(instance ?BUILD Building)
(between ?R1 ?HALL ?R2)
(instance ?R1 Room)
(instance ?R2 Room)
(located ?R1 ?BUILD)
(located ?R2 ?BUILD)
(not
(equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 15840-15855 |
|
(=>
(instance ?I Inflammation)
(exists (?T ?W)
(and
(instance ?T Translocation)
(instance ?W WhiteBloodCell)
(objectTransferred ?T ?W)
(destination ?T
(WhereFn ?I
(WhenFn ?I)))))) |
Mid-level-ontology.kif 12615-12624 |
|
(=>
(instance ?LEAVE Leaving)
(exists (?GO)
(and
(instance ?GO Translocation)
(subProcess ?LEAVE ?GO)
(starts
(WhenFn ?LEAVE)
(WhenFn ?GO))))) |
Mid-level-ontology.kif 17558-17564 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |