(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 31011-31015 |
An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object |
(=>
(and
(instance ?B Boarding)
(patient ?B ?V))
(instance ?V Vehicle)) |
Mid-level-ontology.kif 18298-18302 |
|
(=>
(and
(instance ?B Deboarding)
(patient ?B ?VEHICLE))
(instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 18339-18343 |
|
(=>
(and
(instance ?C CavalryUnit)
(instance ?B Battle)
(agent ?B ?C))
(exists (?P ?V ?T)
(and
(attribute ?P Soldier)
(member ?P ?C)
(instance ?T Transportation)
(agent ?T ?P)
(instance ?V Vehicle)
(patient ?T ?V)
(during ?T ?B)))) |
Mid-level-ontology.kif 9087-9100 |
|
(=>
(and
(instance ?ITEM Object)
(instance ?LISTING WebListing)
(attribute ?LISTING ForSaleByOwner)
(patient ?LISTING ?ITEM))
(instance ?ITEM Vehicle)) |
UXExperimentalTerms.kif 373-379 |
|
(=>
(and
(instance ?ORG Organization)
(attribute ?ORG ScenicAndSightseeingTransportation))
(exists (?EV ?MEM)
(and
(member ?MEM ?ORG)
(agent ?MEM ?EV)
(exists (?P)
(and
(instance ?EV Selling)
(instance ?P Human)
(patient ?EV ?P)
(confersRight
(exists (?TRANS ?VEH)
(and
(instance ?TRANS Transportation)
(instance ?TRANS RecreationOrExercise)
(patient ?TRANS ?P)
(possesses ?ORG ?VEH)
(instance ?VEH Vehicle))) ?MEM ?P)))))) |
naics.kif 8528-8549 |
|
(=>
(and
(instance ?W Wagon)
(instance ?T Transportation)
(instrument ?T ?W))
(exists (?P)
(and
(instance ?T Pulling)
(agent ?T ?P)
(patient ?T ?W)
(or
(instance ?P DomesticAnimal)
(instance ?P Vehicle))))) |
Transportation.kif 1992-2004 |
|
(=>
(attribute ?H Valet)
(hasPurpose ?H
(and
(instance ?VEHICLE Vehicle)
(instance ?PUT Putting)
(destination ?PUT ?PARK)
(instance ?PARK ParkingRegion)
(patient ?PUT ?VEHICLE)
(agent ?PUT ?H)))) |
TransportDetail.kif 136-145 |
|
(=>
(instance ?C Convoy)
(exists (?V1 ?V2 ?TIME)
(and
(not
(equal ?V1 ?V2))
(instance ?V1 Vehicle)
(instance ?V2 Vehicle)
(instance ?TIME TimeInterval)
(temporalPart ?TIME
(WhenFn ?C))
(holdsDuring ?TIME
(and
(member ?V1 ?C)
(member ?V2 ?C)))))) |
Mid-level-ontology.kif 23277-23289 |
|
(=>
(instance ?C VehicleController)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?C ?V)))) |
Mid-level-ontology.kif 3382-3387 |
|
(=>
(instance ?DRIVE Driving)
(exists (?VEHICLE)
(and
(instance ?VEHICLE Vehicle)
(patient ?DRIVE ?VEHICLE)))) |
Merge.kif 11690-11695 |
|
(=>
(instance ?FLEET Fleet)
(memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3509-3511 |
|
(=>
(instance ?H Hijacking)
(exists (?V)
(and
(instance ?V Vehicle)
(patient ?H ?V)))) |
Mid-level-ontology.kif 22833-22838 |
|
(=>
(instance ?L Headlight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(FrontFn ?V))))) |
Mid-level-ontology.kif 3071-3076 |
|
(=>
(instance ?L Taillight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(BackFn ?V))))) |
Mid-level-ontology.kif 3082-3087 |
|
(=>
(instance ?L VehicleLight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L ?V)))) |
Mid-level-ontology.kif 3060-3065 |
|
(=>
(instance ?S Speedometer)
(hasPurpose ?S
(exists (?V ?T ?SPEED ?DIST ?TIME ?M)
(and
(instance ?V Vehicle)
(part ?S ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(measure ?T ?SPEED)
(equal ?SPEED
(SpeedFn ?DIST ?TIME))
(instance ?M Measuring)
(instrument ?M ?S)
(measurementReading ?M ?SPEED))))) |
Cars.kif 3018-3032 |
- If a physical is an instance of speedometer,
- then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and the physicalPEED is equal to the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth entity
|
(=>
(instance ?S VehicleSeat)
(hasPurpose ?S
(exists (?H ?T ?V)
(and
(instance ?H Human)
(instance ?V Vehicle)
(holdsDuring ?T
(and
(attribute ?H Sitting)
(located ?H ?S)
(located ?S ?V))))))) |
Cars.kif 5090-5101 |
|
(=>
(instance ?SHIP VehicleCarrierShip)
(cargoType ?SHIP Vehicle)) |
Transportation.kif 2522-2524 |
|
(=>
(instance ?SVC TransportationService)
(exists (?VEHICLE ?AGENT ?TRANS ?CUST)
(and
(agent ?SVC ?AGENT)
(possesses ?AGENT ?VEHICLE)
(customer ?CUST ?AGENT)
(instance ?VEHICLE Vehicle)
(instance ?TRANS Transportation)
(agent ?TRANS ?AGENT)
(patient ?TRANS ?CUST)
(instrument ?TRANS ?VEHICLE)
(subProcess ?TRANS ?SVC)))) |
Transportation.kif 4477-4489 |
|
(=>
(instance ?VSD VehicleSafetyDevice)
(hasPurpose ?VSD
(exists (?V)
(and
(instance ?V Vehicle)
(part ?VSD ?V))))) |
Cars.kif 3442-3448 |
|
(=>
(instance ?W VehicleWindow)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?W ?V)))) |
Mid-level-ontology.kif 3439-3444 |
|
(=>
(instance ?W Window)
(exists (?A)
(and
(part ?W ?A)
(or
(instance ?A Building)
(instance ?A Room)
(instance ?A Vehicle))))) |
Mid-level-ontology.kif 16032-16040 |
|
(=>
(instance ?X SeatBelt)
(hasPurpose ?X
(exists (?PERSON ?STOP ?VEHICLE ?M)
(and
(instance ?VEHICLE Vehicle)
(part ?X ?VEHICLE)
(instance ?PERSON Human)
(contains ?VEHICLE ?PERSON)
(instance ?STOP Process)
(prevents ?STOP
(KappaFn ?M
(and
(instance ?M Translocation)
(patient ?M ?PERSON)
(exists (?COLLISION)
(and
(or
(instance ?COLLISION Decelerating)
(instance ?COLLISION Impacting))
(experiencer ?COLLISION ?VEHICLE)
(causes ?COLLISION ?M)))
(modalAttribute
(exists (?INJ ?IMP)
(and
(instance ?INJ Injuring)
(instance ?IMP Impacting)
(causes ?M ?INJ)
(patient ?INJ ?PERSON)
(subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3736-3765 |
|
