(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 31745-31749 |
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 18948-18952 |
|
(=>
(and
(instance ?B Deboarding)
(patient ?B ?VEHICLE))
(instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 18989-18993 |
|
(=>
(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 9611-9624 |
|
(=>
(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 23994-24006 |
|
(=>
(instance ?C VehicleController)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?C ?V)))) |
Mid-level-ontology.kif 3851-3856 |
|
(=>
(instance ?DRIVE Driving)
(exists (?VEHICLE)
(and
(instance ?VEHICLE Vehicle)
(patient ?DRIVE ?VEHICLE)))) |
Merge.kif 11754-11759 |
|
(=>
(instance ?FLEET Fleet)
(memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3978-3980 |
|
(=>
(instance ?H Hijacking)
(exists (?V)
(and
(instance ?V Vehicle)
(patient ?H ?V)))) |
Mid-level-ontology.kif 23550-23555 |
|
(=>
(instance ?L Headlight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(FrontFn ?V))))) |
Mid-level-ontology.kif 3540-3545 |
|
(=>
(instance ?L Taillight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(BackFn ?V))))) |
Mid-level-ontology.kif 3551-3556 |
|
(=>
(instance ?L VehicleLight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L ?V)))) |
Mid-level-ontology.kif 3529-3534 |
|
(=>
(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 2523-2525 |
|
(=>
(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 4481-4493 |
|
(=>
(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 3908-3913 |
|
(=>
(instance ?W Window)
(exists (?A)
(and
(part ?W ?A)
(or
(instance ?A Building)
(instance ?A Room)
(instance ?A Vehicle))))) |
Mid-level-ontology.kif 16567-16575 |
|
(=>
(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 |
|
