(<=>
(instance ?DV DamagedVehicle)
(and
(instance ?DV Vehicle)
(attribute ?DV DeviceDamaged))) |
Mid-level-ontology.kif 30351-30355 |
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 17638-17642 |
|
(=>
(and
(instance ?B Deboarding)
(patient ?B ?VEHICLE))
(instance ?VEHICLE Vehicle)) |
Mid-level-ontology.kif 17679-17683 |
|
(=>
(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 8605-8618 |
|
(=>
(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 22617-22629 |
|
(=>
(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 11665-11670 |
|
(=>
(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 22173-22178 |
|
(=>
(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 3017-3031 |
- 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 5089-5100 |
|
(=>
(instance ?SHIP VehicleCarrierShip)
(cargoType ?SHIP Vehicle)) |
Transportation.kif 2516-2518 |
|
(=>
(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 4198-4210 |
|
(=>
(instance ?VSD VehicleSafetyDevice)
(hasPurpose ?VSD
(exists (?V)
(and
(instance ?V Vehicle)
(part ?VSD ?V))))) |
Cars.kif 3441-3447 |
|
(=>
(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 15394-15402 |
|
(=>
(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 3735-3764 |
|
