(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 31182-31186 |
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 18469-18473 |
|
(=>
(and
(instance ?B Deboarding)
(patient ?B ?VEHICLE))
(instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 18510-18514 |
|
(=>
(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 9160-9173 |
|
(=>
(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 23448-23460 |
|
(=>
(instance ?C VehicleController)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?C ?V)))) |
Mid-level-ontology.kif 3455-3460 |
|
(=>
(instance ?DRIVE Driving)
(exists (?VEHICLE)
(and
(instance ?VEHICLE Vehicle)
(patient ?DRIVE ?VEHICLE)))) |
Merge.kif 11694-11699 |
|
(=>
(instance ?FLEET Fleet)
(memberType ?FLEET Vehicle)) |
Mid-level-ontology.kif 3582-3584 |
|
(=>
(instance ?H Hijacking)
(exists (?V)
(and
(instance ?V Vehicle)
(patient ?H ?V)))) |
Mid-level-ontology.kif 23004-23009 |
|
(=>
(instance ?L Headlight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(FrontFn ?V))))) |
Mid-level-ontology.kif 3144-3149 |
|
(=>
(instance ?L Taillight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L
(BackFn ?V))))) |
Mid-level-ontology.kif 3155-3160 |
|
(=>
(instance ?L VehicleLight)
(exists (?V)
(and
(instance ?V Vehicle)
(part ?L ?V)))) |
Mid-level-ontology.kif 3133-3138 |
|
(=>
(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 3512-3517 |
|
(=>
(instance ?W Window)
(exists (?A)
(and
(part ?W ?A)
(or
(instance ?A Building)
(instance ?A Room)
(instance ?A Vehicle))))) |
Mid-level-ontology.kif 16104-16112 |
|
(=>
(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 |
|
