(=>
(instance ?MINE LandMine)
(hasPurpose ?MINE
(exists (?L ?E ?M ?O)
(and
(instance ?L LandArea)
(located ?MINE ?L)
(instance ?E Explosion)
(instrument ?E ?MINE)
(locatedAtTime ?MINE
(WhenFn ?E) ?L)
(causes ?M ?E)
(instance ?M Motion)
(eventLocated ?M ?L)
(origin ?M ?O)
(orientation ?O ?MINE On)
(or
(instance ?O Human)
(instance ?O LandVehicle)))))) |
Mid-level-ontology.kif 19776-19794 |
If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle |
(=>
(and
(locatedAtTime ?COLLECTION ?TIME ?PLACE)
(memberAtTime ?OBJ ?COLLECTION ?TIME))
(locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 24985-24989 |
If X located at time Y for Z and W is a member of X during Y, then W located at time Y for Z |
(=>
(and
(playsRoleInEvent ?OBJ ?ROLE ?EVENT)
(time ?EVENT ?TIME)
(eventLocated ?EVENT ?PLACE))
(locatedAtTime ?OBJ ?TIME ?PLACE)) |
Mid-level-ontology.kif 25630-25635 |
If X plays role in event Y for Z, Z exists during W, and Z is located at V, then X located at time W for V |
(=>
(and
(locatedAtTime ?OBJ ?TIME ?PLACE)
(geographicSubregion ?PLACE ?REGION))
(locatedAtTime ?OBJ ?TIME ?REGION)) |
Mid-level-ontology.kif 25705-25709 |
If X located at time Y for Z and Z is a geographic subregion of W, then X located at time Y for W |
(=>
(dressCode ?CODE ?AGENT)
(modalAttribute
(exists (?OUTFIT ?T)
(and
(instance ?OUTFIT Outfit)
(subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
(holdsDuring ?T
(forall (?CUST ?ITEM)
(and
(customer ?CUST ?AGENT)
(locatedAtTime ?CUST ?T ?AGENT)
(member ?ITEM ?OUTFIT)
(wears ?CUST ?ITEM)))))) Obligation)) |
Dining.kif 492-505 |
If X requires customers to wear Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of outfit (3) X believes Z is Y (4) V (5) U X is a customer of V (6) V located at time W for X (7) U is a member of Z (8) V wears U holds during W has the modal force of obligation |
(=>
(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE)
(locatedAtTime ?OBJ ?TIME ?PLACE)) |
Justice.kif 47-49 |
If X is observed at time in place Y for Z with W, then X located at time Z for W |
(=>
(instance ?S AirportStagingArea)
(hasPurpose ?S
(exists (?B ?C ?D ?T)
(and
(instance ?B Boarding)
(instance ?C CollectionOfObjects)
(instrument ?B ?C)
(member ?D ?C)
(instance ?D Device)
(locatedAtTime ?C ?T ?S)
(during ?T
(WhenFn ?B)))))) |
Transportation.kif 1318-1329 |
If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of boarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y |
(=>
(instance ?S AirportStagingArea)
(hasPurpose ?S
(exists (?DB ?C ?D ?T)
(and
(instance ?DB Deboarding)
(instance ?C CollectionOfObjects)
(instrument ?DB ?C)
(member ?D ?C)
(instance ?D Device)
(locatedAtTime ?C ?T ?S)
(during ?T
(WhenFn ?DB)))))) |
Transportation.kif 1331-1342 |
If X is an instance of airport staging area, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of deboarding (3) Z is an instance of collection (4) Z is an instrument for Y (5) W is a member of Z (6) W is an instance of device (7) Z located at time V for X (8) V takes place during the time of existence of Y |
(=>
(instance ?TERM TransitTerminal)
(hasPurpose ?TERM
(exists (?T ?P ?TIME)
(and
(instance ?T Translocation)
(locatedAtTime ?P ?TIME ?TERM)
(or
(passenger ?T ?P)
(conveyance ?T ?P))
(or
(equal ?TIME
(BeginFn
(WhenFn ?T)))
(equal ?TIME
(EndFn
(WhenFn ?T)))))))) |
Transportation.kif 4196-4208 |
If X is an instance of transit terminal, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of translocation (3) Z located at time W for X (4) Z is a passenger in Y, Z is a conveyance during Y (5) equal W (6) the beginning of the time of existence of Y, or equal W (7) the end of the time of existence of Y |
MechanicalProcess