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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子类别,它通过自 身从一处移动往别处,同时也把乘客或货物和它一同从一处运载到另外一处,如:汽车、卡车、渡轮和飞机。它和通过移动 部件把东西从一处带到另外一处的设备如:导管、自动扶梯或超市用的结账运输带对比,而不需把设备从源处移到目的地。") Merge.kif 16145-16147
(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 16137-16144
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") pictureList.kif 6958-6958 "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG" is a URL depicting vehicle
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") pictureList.kif 8216-8216 "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg" is a URL depicting vehicle
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") pictureList-ImageNet.kif 590-590 "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG" is a URL depicting vehicle
(subclass Vehicle TransportationDevice) Merge.kif 16136-16136 Vehicle is a subclass of transportation device

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


(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1775-1775 Agent powered vehicle is a subclass of vehicle
(subclass Aircraft Vehicle) Mid-level-ontology.kif 15408-15408 Aircraft is a subclass of vehicle
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1595-1595 Armored vehicle is a subclass of vehicle
(subclass CargoVehicle Vehicle) Transportation.kif 1727-1727 Cargo vehicle is a subclass of vehicle
(subclass DamagedVehicle Vehicle) Mid-level-ontology.kif 28250-28250 DamagedVehicle is a subclass of vehicle
(subclass LandVehicle Vehicle) Mid-level-ontology.kif 4002-4002 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 1716-1716 Passenger vehicle is a subclass of vehicle
(subclass PoweredVehicle Vehicle) Transportation.kif 1757-1757 Powered vehicle is a subclass of vehicle
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 23679-23679 Camper is a subclass of vehicle
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 15302-15302 Spacecraft is a subclass of vehicle
(subclass UnpoweredVehicle Vehicle) Transportation.kif 1747-1747 Unpowered vehicle is a subclass of vehicle
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 4019-4019 Water vehicle is a subclass of vehicle
(termFormat EnglishLanguage Vehicle "vehicle") domainEnglishFormat.kif 10649-10649 "vehicle" is the printable form of vehicle in english language
(typicalPart Alternator Vehicle) Cars.kif 1201-1201 A alternator is typically a part of a vehicle
(typicallyContainsPart Alternator Vehicle) Cars.kif 1202-1202 A vehicle typically has a part alternator

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


(domain TripFn 1 Vehicle) Transportation.kif 1553-1553 The number 1 argument of trip is an instance of vehicle
(domain maximumPayloadCapacity 1 Vehicle) MilitaryDevices.kif 80-80 The number 1 argument of maximum payload capacity is an instance of vehicle
(domain maximumPayloadHeightWidth 1 Vehicle) MilitaryDevices.kif 108-108 The number 1 argument of maximum payload height width is an instance of vehicle
(domain onboard 2 Vehicle) Mid-level-ontology.kif 14961-14961 The number 2 argument of onboard is an instance of vehicle
(domain topSpeed 1 Vehicle) Transportation.kif 1688-1688 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 3953-3963
(=>
    (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 21504-21511
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E ?S))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V ?M)
                            (greaterThan ?M ?S))))))))
Cars.kif 2930-2944
(=>
    (and
        (instance ?P ParkingBrake)
        (instance ?V Vehicle)
        (part ?P ?V))
    (hasPurpose ?P
        (holdsDuring ?E
            (and
                (attribute ?P DeviceOn)
                (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 16157-16163
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))
Merge.kif 16149-16155
(=>
    (and
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))
MilitaryDevices.kif 61-65

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


(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))
Mid-level-ontology.kif 28252-28256 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 14939-14943
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))
Mid-level-ontology.kif 14980-14984
(=>
    (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 8111-8124
(=>
    (and
        (instance ?ITEM Object)
        (instance ?LISTING WebListing)
        (attribute ?LISTING ForSaleByOwner)
        (patient ?LISTING ?ITEM))
    (instance ?ITEM Vehicle))
UXExperimentalTerms.kif 463-469
(=>
    (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 8453-8474
(=>
    (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 1816-1828
(=>
    (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 130-139
(=>
    (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 20168-20180
(=>
    (instance ?C VehicleController)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?C ?V))))
Mid-level-ontology.kif 3926-3931
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))
Merge.kif 11571-11576
(=>
    (instance ?FLEET Fleet)
    (memberType ?FLEET Vehicle))
Mid-level-ontology.kif 4053-4055
(=>
    (instance ?H Hijacking)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (patient ?H ?V))))
Mid-level-ontology.kif 19675-19680
(=>
    (instance ?L Headlight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (FrontFn ?V)))))
Mid-level-ontology.kif 3619-3624
(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))
Mid-level-ontology.kif 3630-3635
(=>
    (instance ?L VehicleLight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L ?V))))
Mid-level-ontology.kif 3608-3613
(=>
    (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 5000-5011
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))
Transportation.kif 2308-2310
(=>
    (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 3284-3296
(=>
    (instance ?VSD VehicleSafetyDevice)
    (hasPurpose ?VSD
        (exists (?V)
            (and
                (instance ?V Vehicle)
                (part ?VSD ?V)))))
Cars.kif 3349-3355
(=>
    (instance ?W VehicleWindow)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?W ?V))))
Mid-level-ontology.kif 3983-3988
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))
Mid-level-ontology.kif 12865-12873
(=>
    (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 3642-3671


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners