Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vehicle

Sigma KEE - Vehicle
Vehicle(vehicle)
boneshaker, camper, camping_bus, craft, motor_home, picket, roll-on_roll-off, self-propelled_vehicle, skibob, vehicle, welcome_wagon

appearance as argument number 1
-------------------------


(documentation Vehicle ChineseLanguage "VehicleTransportationDevice 子类别,它通过自 身从一处移动往别处,同时也把乘客或货物和它一同从一处运载到另外一处,如:汽车、卡车、渡轮和飞机。它和通过移动 部件把东西从一处带到另外一处的设备如:导管、自动扶梯或超市用的结账运输带对比,而不需把设备从源处移到目的地。") chinese_format.kif 3625-3627
(documentation Vehicle EnglishLanguage "Vehicle is the subclass of TransportationDevices that transport passengers or goods from one place to another by moving from one place to the other with them, e.g., cars, trucks, ferries, and airplanes. Contrast with devices such as pipelines, escalators, or supermarket checkout belts, which carry items from one place to another by means of a moving part, without the device removing from the origin to the destination.") Merge.kif 15721-15728
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") pictureList.kif 6958-6958
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") pictureList.kif 8215-8215
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") pictureList-ImageNet.kif 589-589
(subclass Vehicle TransportationDevice) Merge.kif 15720-15720 Vehicle is a subclass of transportation device

appearance as argument number 2
-------------------------


(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1811-1811 Agent powered vehicle is a subclass of vehicle
(subclass Aircraft Vehicle) Mid-level-ontology.kif 17288-17288 Aircraft is a subclass of vehicle
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1596-1596 Armored vehicle is a subclass of vehicle
(subclass CargoVehicle Vehicle) Transportation.kif 1760-1760 Cargo vehicle is a subclass of vehicle
(subclass DamagedVehicle Vehicle) Mid-level-ontology.kif 29596-29596 DamagedVehicle is a subclass of vehicle
(subclass LandVehicle Vehicle) Mid-level-ontology.kif 3426-3426 Land vehicle is a subclass of vehicle
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 Military vehicle is a subclass of vehicle
(subclass PassengerVehicle Vehicle) Transportation.kif 1742-1742 Passenger vehicle is a subclass of vehicle
(subclass PoweredVehicle Vehicle) Transportation.kif 1793-1793 Powered vehicle is a subclass of vehicle
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 25247-25247 Camper is a subclass of vehicle
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17182-17182 Spacecraft is a subclass of vehicle
(subclass UnpoweredVehicle Vehicle) Transportation.kif 1783-1783 Unpowered vehicle is a subclass of vehicle
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 3444-3444 Water vehicle is a subclass of vehicle
(termFormat ChineseLanguage Vehicle "车辆") domainEnglishFormat.kif 61313-61313
(termFormat ChineseTraditionalLanguage Vehicle "車輛") domainEnglishFormat.kif 61312-61312
(termFormat EnglishLanguage Vehicle "vehicle") domainEnglishFormat.kif 61311-61311
(typicalPart Alternator Vehicle) Cars.kif 1211-1211 A alternator is typically a part of a vehicle
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 A vehicle typically has a part alternator

appearance as argument number 3
-------------------------


(domain TripFn 1 Vehicle) Transportation.kif 1583-1583 The number 1 argument of trip is an instance of vehicle
(domain maximumPayloadCapacity 1 Vehicle) MilitaryDevices.kif 81-81 The number 1 argument of maximum payload capacity is an instance of vehicle
(domain maximumPayloadHeightWidth 1 Vehicle) MilitaryDevices.kif 109-109 The number 1 argument of maximum payload height width is an instance of vehicle
(domain onboard 2 Vehicle) Mid-level-ontology.kif 16896-16896 The number 2 argument of onboard is an instance of vehicle
(domain topSpeed 1 Vehicle) Transportation.kif 1710-1710 The number 1 argument of topSpeed is an instance of vehicle

antecedent
-------------------------


(=>
    (and
        (instance ?B VehicleBrake)
        (instance ?V Vehicle)
        (part ?B ?V))
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S
                    (StopFn Motion))
                (patient ?S ?V)
                (instrument ?S ?B)))))
Mid-level-ontology.kif 3377-3387
(=>
    (and
        (instance ?BP BrakePedal)
        (instance ?P Pushing)
        (instance ?V Vehicle)
        (destination ?P ?BP)
        (eventLocated ?P ?V)
        (part ?BP ?V))
    (hasPurpose ?BP
        (exists (?FS ?F)
            (and
                (instance ?FS WearingFrictionSurface)
                (instance ?F Friction)
                (instrument ?F ?FS)
                (causes ?P ?F)))))
Cars.kif 693-707
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))
Mid-level-ontology.kif 23123-23130
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))
Cars.kif 2957-2973
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (holdsDuring ?T1
            (attribute ?P DeviceOn))
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?T1
            (not
                (exists (?T)
                    (and
                        (instance ?T Translocation)
                        (patient ?T ?V)))))))
Cars.kif 567-580
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (destination ?MOVE ?TO))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?TO)))
Merge.kif 15738-15744
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))
Merge.kif 15730-15736
(=>
    (and
        (instance ?WEAPON Weapon)
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))
MilitaryDevices.kif 61-66
(=>
    (and
        (passenger ?PROC ?PASS)
        (instance ?V Vehicle)
        (instrument ?PROC ?V))
    (not
        (exists (?G)
            (and
                (during
                    (WhenFn ?G)
                    (WhenFn ?PROC))
                (instance ?G Guiding)
                (agent ?G ?PASS)
                (instrument ?G ?V)))))
Mid-level-ontology.kif 30276-30287

consequent
-------------------------


(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))
Mid-level-ontology.kif 29598-29602 An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))
Mid-level-ontology.kif 16874-16878
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))
Mid-level-ontology.kif 16915-16919
(=>
    (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 8036-8049
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (attribute ?LISTING ForSaleByOwner)
        (patient ?LISTING ?ITEM))
    (instance ?ITEM Vehicle))
UXExperimentalTerms.kif 464-470
(=>
    (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 1852-1864
(=>
    (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 132-141
(=>
    (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 21899-21911
(=>
    (instance ?C VehicleController)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?C ?V))))
Mid-level-ontology.kif 3350-3355
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))
Merge.kif 11465-11470
(=>
    (instance ?FLEET Fleet)
    (memberType ?FLEET Vehicle))
Mid-level-ontology.kif 3477-3479
(=>
    (instance ?H Hijacking)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (patient ?H ?V))))
Mid-level-ontology.kif 21456-21461
(=>
    (instance ?L Headlight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (FrontFn ?V)))))
Mid-level-ontology.kif 3039-3044
(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))
Mid-level-ontology.kif 3050-3055
(=>
    (instance ?L VehicleLight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L ?V))))
Mid-level-ontology.kif 3028-3033
(=>
    (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 5032-5043
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))
Transportation.kif 2346-2348
(=>
    (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 3339-3351
(=>
    (instance ?VSD VehicleSafetyDevice)
    (hasPurpose ?VSD
        (exists (?V)
            (and
                (instance ?V Vehicle)
                (part ?VSD ?V)))))
Cars.kif 3381-3387
(=>
    (instance ?W VehicleWindow)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?W ?V))))
Mid-level-ontology.kif 3407-3412
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 14695-14703
(=>
    (instance ?X SeatBelt)
    (hasPurpose ?X
        (exists (?PERSON ?STOP ?VEHICLE)
            (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 3679-3708


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners