Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Vehicle TransportationDevice) Merge.kif 16327-16327 Vehicle is a subclass of transportation device
(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 16328-16335 Vehicle is a subclass of transportation device
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") pictureList-ImageNet.kif 589-589 Vehicle is a subclass of transportation device
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") pictureList.kif 6956-6956 Vehicle is a subclass of transportation device
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") pictureList.kif 8213-8213 Vehicle is a subclass of transportation device

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


(subclass LandVehicle Vehicle) Mid-level-ontology.kif 4092-4092 Land vehicle is a subclass of vehicle
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 4110-4110 Water vehicle is a subclass of vehicle
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 19631-19631 Spacecraft is a subclass of vehicle
(subclass Aircraft Vehicle) Mid-level-ontology.kif 19737-19737 Aircraft is a subclass of vehicle
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 28331-28331 Rv is a subclass of vehicle
(subclass DamagedVehicle Vehicle) Mid-level-ontology.kif 32700-32700 Damaged vehicle is a subclass of vehicle
(typicalPart Alternator Vehicle) Cars.kif 1149-1149 A alternator is typically a part of a vehicle
(typicallyContainsPart Alternator Vehicle) Cars.kif 1150-1150 A vehicle typically has a part alternator
(typicalPart Odometer Vehicle) Cars.kif 2822-2822 A odometer is typically a part of a vehicle
(typicalPart Speedometer Vehicle) Cars.kif 2870-2870 A speedometer is typically a part of a vehicle
(subclass MilitaryVehicle Vehicle) Military.kif 143-143 Military vehicle is a subclass of vehicle
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1753-1753 Armored vehicle is a subclass of vehicle
(subclass PassengerVehicle Vehicle) Transportation.kif 1897-1897 Passenger vehicle is a subclass of vehicle
(subclass CargoVehicle Vehicle) Transportation.kif 1915-1915 Cargo vehicle is a subclass of vehicle
(subclass UnpoweredVehicle Vehicle) Transportation.kif 1938-1938 Unpowered vehicle is a subclass of vehicle
(subclass PoweredVehicle Vehicle) Transportation.kif 1948-1948 Powered vehicle is a subclass of vehicle
(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1966-1966 Agent powered vehicle is a subclass of vehicle
(termFormat EnglishLanguage Vehicle "vehicle") domainEnglishFormat.kif 61347-61347 Agent powered vehicle is a subclass of vehicle
(termFormat ChineseTraditionalLanguage Vehicle "車輛") domainEnglishFormat.kif 61348-61348 Agent powered vehicle is a subclass of vehicle
(termFormat ChineseLanguage Vehicle "车辆") domainEnglishFormat.kif 61349-61349 Agent powered vehicle is a subclass of vehicle

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


(domain onboard 2 Vehicle) Mid-level-ontology.kif 19241-19241 The number 2 argument of onboard 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 TripFn 1 Vehicle) Transportation.kif 1728-1728 The number 1 argument of trip is an instance of vehicle
(domain topSpeed 1 Vehicle) Transportation.kif 1865-1865 The number 1 argument of top speed is an instance of vehicle
(domain pitch 1 Vehicle) Transportation.kif 3222-3222 The number 1 argument of pitch is an instance of vehicle
(domain yaw 1 Vehicle) Transportation.kif 3261-3261 The number 1 argument of yaw is an instance of vehicle
(domain roll 1 Vehicle) Transportation.kif 3302-3302 The number 1 argument of roll is an instance of vehicle

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


(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))		 Merge.kif 16337-16343 If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y originates at Z, then X is located at Z holds during the beginning of the time of existence of Y
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (destination ?MOVE ?TO))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?TO)))		 Merge.kif 16345-16351 If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y ends up at Z, then X is located at Z holds during the beginning of the time of existence of Y
(=>
    (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 4043-4053 If X is an instance of vehicle brake, Y is an instance of vehicle, and X is a part of Y, then X has the purpose there exists Z such that Z is an instance of the stop of motion, Y is a patient of Z, and X is an instrument for Z
(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 25909-25916 If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, Z is an instance of vehicle, and Z is a patient of X, then Z is a conveyance during Y
(=>
    (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 33363-33374 If X is a passenger in Y, Z is an instance of vehicle, and Z is an instrument for Y, then there doesn't exist W such that the time of existence of W takes place during the time of existence of Y, W is an instance of guiding, X is an agent of W, and Z is an instrument for W
(=>
    (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 504-517 If X is an instance of parking brake, Y is an instance of vehicle, device on is an attribute of X holds during Z, and X is a part of Y, then X has the purpose there doesn't exist W such that W is an instance of translocation and Y is a patient of W holds during Z
(=>
    (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 630-644 If All of the following hold: (1) X is an instance of brake pedal (2) Y is an instance of pushing (3) Z is an instance of vehicle (4) Y ends up at X (5) Y is located at Z (6) X is a part of Z, then X has the purpose there exist W, V such that W is an instance of wearing friction surface, V is an instance of friction, W is an instrument for V, and Y causes V
(=>
    (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 2795-2811 If X is an instance of governor, Y is an instance of vehicle, X is connected to Y, and the maximum speed allowed by Z is W miles per hour(s), then X has the purpose there don't exist V and U such that V is an instance of translocation and the measure of Y is U miles per hour(s) and U is greater than W holds during the time of existence of V
(=>
    (and
        (instance ?O Odometer)
        (instance ?V Vehicle)
        (part ?O ?V)
        (instance ?T Translocation)
        (instrument ?T ?V)
        (path ?T ?P)
        (distanceOnPath
            (MeasureFn ?D ?U) ?P)
        (instance ?U LengthMeasure))
    (hasPurpose ?O
        (exists (?M ?L ?DIST)
            (and
                (instance ?M Measuring)
                (instrument ?M ?O)
                (measurementReading ?O ?DIST)
                (inList ?D ?L)
                (holdsDuring
                    (WhenFn
                        (EndFn ?M))
                    (and
                        (equal ?DIST
                            (MeasureFn
                                (ListSumFn ?L) ?U))
                        (not
                            (attribute ?O ResetMeasuringDevice))))))))		 Cars.kif 2824-2850 If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T
(=>
    (and
        (instance ?WEAPON Weapon)
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))		 MilitaryDevices.kif 61-66 If X is an instance of weapon, X is a part of Y, and Y is an instance of vehicle, then Y is an instance of military vehicle

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


(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))		 Merge.kif 11895-11900 If X is an instance of driving, then there exists Y such that Y is an instance of vehicle and Y is a patient of X
(=>
    (instance ?L VehicleLight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L ?V))))		 Mid-level-ontology.kif 3674-3679 If X is an instance of vehicle light, then there exists Y such that Y is an instance of vehicle and X is a part of Y
(=>
    (instance ?L Headlight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (FrontFn ?V)))))		 Mid-level-ontology.kif 3685-3690 If X is an instance of headlight, then there exists Y such that Y is an instance of vehicle and X is a part of the front of Y
(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))		 Mid-level-ontology.kif 3696-3701 If X is an instance of taillight, then there exists Y such that Y is an instance of vehicle and X is a part of the back of Y
(=>
    (instance ?C VehicleController)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?C ?V))))		 Mid-level-ontology.kif 4001-4006 If X is an instance of vehicle controller, then there exists Y such that Y is an instance of vehicle and X is a part of Y
(=>
    (instance ?W VehicleWindow)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?W ?V))))		 Mid-level-ontology.kif 4073-4078 If X is an instance of vehicle window, then there exists Y such that Y is an instance of vehicle and X is a part of Y
(=>
    (instance ?FLEET Fleet)
    (memberType ?FLEET Vehicle))		 Mid-level-ontology.kif 4143-4145 If X is an instance of Fleet, then vehicle is a member type of X
(=>
    (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 9747-9760 If X is an instance of cavalry unit, Y is an instance of battle, and X is an agent of Y, then All of the following hold: (1) there exist Z, W (2) V such that soldier is an attribute of Z (3) Z is a member of X (4) V is an instance of transportation (5) Z is an agent of V (6) W is an instance of vehicle (7) W is a patient of V (8) V takes place during Y
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 16751-16759 If X is an instance of window, then there exists Y such that X is a part of Y and Y is an instance of building, Y is an instance of room, or Y is an instance of vehicle
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))		 Mid-level-ontology.kif 19219-19223 If X is an instance of boarding and Y is a patient of X, then Y is an instance of vehicle
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))		 Mid-level-ontology.kif 19260-19264 If X is an instance of deboarding and Y is a patient of X, then Y is an instance of vehicle
(=>
    (instance ?H Hijacking)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (patient ?H ?V))))		 Mid-level-ontology.kif 24181-24186 If X is an instance of hijacking, then there exists Y such that Y is an instance of vehicle and Y is a patient of X
(=>
    (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 24611-24623 If X is an instance of convoy, then All of the following hold: (1) there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of vehicle (5) Z is an instance of vehicle (6) W is an instance of timeframe (7) W is a part of the time of existence of X (8) Y is a member of X (9) Z is a member of X holds during W
(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 32702-32706 X is an instance of damaged vehicle if, only if X is an instance of vehicle, and device damaged is an attribute of X
(=>
    (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 2872-2886 If X is an instance of speedometer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) the measure of Z is W (7) equal W (8) V per U (9) T is an instance of measuring (10) X is an instrument for T (11) W is a measurement reading of T
(=>
    (instance ?VSD VehicleSafetyDevice)
    (hasPurpose ?VSD
        (exists (?V)
            (and
                (instance ?V Vehicle)
                (part ?VSD ?V)))))		 Cars.kif 3246-3252 If X is an instance of vehicle safety device, then X has the purpose there exists Y such that Y is an instance of vehicle and X is a part of Y
(=>
    (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 3543-3572 If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V
(=>
    (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 4921-4932 If X is an instance of vehicle seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of vehicle, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z
(=>
    (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 If valet is an attribute of X, then X has the purpose Y is an instance of vehicle, Z is an instance of putting, Z ends up at W, W is an instance of parking area, Y is a patient of Z, and X is an agent of Z
(=>
    (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 2007-2019 If X is an instance of wagon, Y is an instance of transportation, and X is an instrument for Y, then there exists Z such that Y is an instance of pulling, Z is an agent of Y, X is a patient of Y, and Z is an instance of domestic animal or Z is an instance of vehicle
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))		 Transportation.kif 2533-2535 If X is an instance of vehicle carrier ship, then vehicle is a cargo type of X
(=>
    (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 5023-5035 If X is an instance of transportation service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Z is an agent of X (3) Z possesses Y (4) Z is a customer of V (5) Y is an instance of vehicle (6) W is an instance of transportation (7) Z is an agent of W (8) V is a patient of W (9) Y is an instrument for W (10) W is a subprocess of X
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (attribute ?LISTING ForSaleByOwner)
        (patient ?LISTING ?ITEM))
    (instance ?ITEM Vehicle))		 UXExperimentalTerms.kif 373-379 If X is an instance of object, Y is an instance of web listing, FSBO is an attribute of Y, and X is a patient of Y, then X is an instance of vehicle
(=>
    (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 ?MEM ?P
                        (exists (?TRANS ?VEH)
                            (and
                                (instance ?TRANS Transportation)
                                (instance ?TRANS RecreationOrExercise)
                                (patient ?TRANS ?P)
                                (possesses ?ORG ?VEH)
                                (instance ?VEH Vehicle)))))))))		 naics.kif 8525-8546 If X is an instance of organization and scenic and sightseeing transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V (8) U such that V is an instance of transportation (9) V is an instance of recreation or exercise (10) W is a patient of V (11) X possesses U (12) U is an instance of vehicle to perform task of the type Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners