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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vehicle

 Sigma KEE - Vehicle
Vehicle

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


(documentation Vehicle ChineseLanguage "Vehicle 是 TransportationDevice 子类别，它通过自 身从一处移动往别处，同时也把乘客或货物和它一同从一处运载到另外一处，如：汽车、卡车、渡轮和飞机。它和通过移动 部件把东西从一处带到另外一处的设备如：导管、自动扶梯或超市用的结账运输带对比，而不需把设备从源处移到目的地。") 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 15997-16004
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/91/Trikke_HPV.JPG") pictureList.kif 6957-6957
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/en/9/9b/Luxury_Car_2.jpg") pictureList.kif 8214-8214
(externalImage Vehicle "http://upload.wikimedia.org/wikipedia/ja/5/56/Himiko.JPG") pictureList-ImageNet.kif 589-589
(subclass Vehicle TransportationDevice) Merge.kif 15996-15996 Vehicle e' uma sub-classe de Veiculo de Transporte

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


(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1811-1811 AgentPoweredVehicle e' uma sub-classe de Vehicle
(subclass Aircraft Vehicle) Mid-level-ontology.kif 17816-17816 Aircraft e' uma sub-classe de Vehicle
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1596-1596 ArmoredVehicle e' uma sub-classe de Vehicle
(subclass CargoVehicle Vehicle) Transportation.kif 1760-1760 CargoVehicle e' uma sub-classe de Vehicle
(subclass DamagedVehicle Vehicle) Mid-level-ontology.kif 30080-30080 DamagedVehicle e' uma sub-classe de Vehicle
(subclass LandVehicle Vehicle) Mid-level-ontology.kif 3465-3465 LandVehicle e' uma sub-classe de Vehicle
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 MilitaryVehicle e' uma sub-classe de Vehicle
(subclass PassengerVehicle Vehicle) Transportation.kif 1742-1742 PassengerVehicle e' uma sub-classe de Vehicle
(subclass PoweredVehicle Vehicle) Transportation.kif 1793-1793 PoweredVehicle e' uma sub-classe de Vehicle
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 25751-25751 RecreationalVehicle e' uma sub-classe de Vehicle
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17710-17710 Spacecraft e' uma sub-classe de Vehicle
(subclass UnpoweredVehicle Vehicle) Transportation.kif 1783-1783 UnpoweredVehicle e' uma sub-classe de Vehicle
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 3483-3483 WaterVehicle e' uma sub-classe de Vehicle
(termFormat ChineseLanguage Vehicle "车辆") domainEnglishFormat.kif 61346-61346
(termFormat ChineseTraditionalLanguage Vehicle "車輛") domainEnglishFormat.kif 61345-61345
(termFormat EnglishLanguage Vehicle "vehicle") domainEnglishFormat.kif 61344-61344
(typicalPart Alternator Vehicle) Cars.kif 1211-1211 typicalPart Alternator and Vehicle
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 typicallyContainsPart Alternator and Vehicle

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


(domain TripFn 1 Vehicle) Transportation.kif 1583-1583 O argumento numero 1 de TripFn e' uma instancia de Vehicle
(domain maximumPayloadCapacity 1 Vehicle) MilitaryDevices.kif 81-81 O argumento numero 1 de maximumPayloadCapacity e' uma instancia de Vehicle
(domain maximumPayloadHeightWidth 1 Vehicle) MilitaryDevices.kif 109-109 O argumento numero 1 de maximumPayloadHeightWidth e' uma instancia de Vehicle
(domain onboard 2 Vehicle) Mid-level-ontology.kif 17401-17401 O argumento numero 2 de onboard e' uma instancia de Vehicle
(domain topSpeed 1 Vehicle) Transportation.kif 1710-1710 O argumento numero 1 de topSpeed e' uma instancia de 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 3416-3426
(=>
    (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 23590-23597
(=>
    (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 2963-2979
(=>
    (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 16014-16020
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))		 Merge.kif 16006-16012
(=>
    (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 30760-30771

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


(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30082-30086 Objeto e' uma instancia de DamagedVehicle Objeto e' uma instancia de Vehicle DeviceDamaged e' um atributo de Objeto
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))		 Mid-level-ontology.kif 17379-17383
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))		 Mid-level-ontology.kif 17420-17424
(=>
    (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 8386-8399
(=>
    (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 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 22333-22345
(=>
    (instance ?C VehicleController)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?C ?V))))		 Mid-level-ontology.kif 3389-3394
(=>
    (instance ?DRIVE Driving)
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE Vehicle)
            (patient ?DRIVE ?VEHICLE))))		 Merge.kif 11641-11646
(=>
    (instance ?FLEET Fleet)
    (memberType ?FLEET Vehicle))		 Mid-level-ontology.kif 3516-3518
(=>
    (instance ?H Hijacking)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (patient ?H ?V))))		 Mid-level-ontology.kif 21889-21894
(=>
    (instance ?L Headlight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (FrontFn ?V)))))		 Mid-level-ontology.kif 3078-3083
(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))		 Mid-level-ontology.kif 3089-3094
(=>
    (instance ?L VehicleLight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L ?V))))		 Mid-level-ontology.kif 3067-3072
(=>
    (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 5037-5048
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))		 Transportation.kif 2347-2349
(=>
    (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 3340-3352
(=>
    (instance ?VSD VehicleSafetyDevice)
    (hasPurpose ?VSD
        (exists (?V)
            (and
                (instance ?V Vehicle)
                (part ?VSD ?V)))))		 Cars.kif 3389-3395
(=>
    (instance ?W VehicleWindow)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?W ?V))))		 Mid-level-ontology.kif 3446-3451
(=>
    (instance ?W Window)
    (exists (?A)
        (and
            (part ?W ?A)
            (or
                (instance ?A Building)
                (instance ?A Room)
                (instance ?A Vehicle)))))		 Mid-level-ontology.kif 15175-15183
(=>
    (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 3683-3712


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