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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VanimoGroupLanguage

 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 16047-16054
(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 16046-16046 Vehicle は 輸送機 の subclass では %n

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


(subclass AgentPoweredVehicle Vehicle) Transportation.kif 1811-1811 AgentPoweredVehicle は Vehicle の subclass では %n
(subclass Aircraft Vehicle) Mid-level-ontology.kif 17844-17844 Aircraft は Vehicle の subclass では %n
(subclass ArmoredVehicle Vehicle) MilitaryDevices.kif 1596-1596 ArmoredVehicle は Vehicle の subclass では %n
(subclass CargoVehicle Vehicle) Transportation.kif 1760-1760 CargoVehicle は Vehicle の subclass では %n
(subclass DamagedVehicle Vehicle) Mid-level-ontology.kif 30116-30116 DamagedVehicle は Vehicle の subclass では %n
(subclass LandVehicle Vehicle) Mid-level-ontology.kif 3458-3458 LandVehicle は Vehicle の subclass では %n
(subclass MilitaryVehicle Vehicle) Military.kif 131-131 MilitaryVehicle は Vehicle の subclass では %n
(subclass PassengerVehicle Vehicle) Transportation.kif 1742-1742 PassengerVehicle は Vehicle の subclass では %n
(subclass PoweredVehicle Vehicle) Transportation.kif 1793-1793 PoweredVehicle は Vehicle の subclass では %n
(subclass RecreationalVehicle Vehicle) Mid-level-ontology.kif 25796-25796 RecreationalVehicle は Vehicle の subclass では %n
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17738-17738 Spacecraft は Vehicle の subclass では %n
(subclass UnpoweredVehicle Vehicle) Transportation.kif 1783-1783 UnpoweredVehicle は Vehicle の subclass では %n
(subclass WaterVehicle Vehicle) Mid-level-ontology.kif 3476-3476 WaterVehicle は Vehicle の subclass では %n
(termFormat ChineseLanguage Vehicle "车辆") domainEnglishFormat.kif 61348-61348
(termFormat ChineseTraditionalLanguage Vehicle "車輛") domainEnglishFormat.kif 61347-61347
(termFormat EnglishLanguage Vehicle "vehicle") domainEnglishFormat.kif 61346-61346
(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 TripFn の数値 1 引数は Vehicle の instance では %n
(domain maximumPayloadCapacity 1 Vehicle) MilitaryDevices.kif 81-81 maximumPayloadCapacity の数値 1 引数は Vehicle の instance では %n
(domain maximumPayloadHeightWidth 1 Vehicle) MilitaryDevices.kif 109-109 maximumPayloadHeightWidth の数値 1 引数は Vehicle の instance では %n
(domain onboard 2 Vehicle) Mid-level-ontology.kif 17429-17429 onboard の数値 2 引数は Vehicle の instance では %n
(domain topSpeed 1 Vehicle) Transportation.kif 1710-1710 topSpeed の数値 1 引数は Vehicle の instance では %n

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 3409-3419
(=>
    (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 23643-23650
(=>
    (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 2940-2956
(=>
    (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 16064-16070
(=>
    (and
        (instance ?TRANSPORT Vehicle)
        (instance ?MOVE Translocation)
        (instrument ?MOVE ?TRANSPORT)
        (origin ?MOVE ?FROM))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOVE))
        (located ?TRANSPORT ?FROM)))		 Merge.kif 16056-16062
(=>
    (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 30796-30807

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


(<=>
    (instance ?DV DamagedVehicle)
    (and
        (instance ?DV Vehicle)
        (attribute ?DV DeviceDamaged)))		 Mid-level-ontology.kif 30118-30122 オブジェクト は DamagedVehicle の instance では %n オブジェクト は Vehicle の instance では %n DeviceDamaged は オブジェクト の attribute では %n
(=>
    (and
        (instance ?B Boarding)
        (patient ?B ?V))
    (instance ?V Vehicle))		 Mid-level-ontology.kif 17407-17411
(=>
    (and
        (instance ?B Deboarding)
        (patient ?B ?VEHICLE))
    (instance ?VEHICLE Vehicle))		 Mid-level-ontology.kif 17448-17452
(=>
    (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 8414-8427
(=>
    (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 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 22386-22398
(=>
    (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 21942-21947
(=>
    (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 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 5014-5025
(=>
    (instance ?SHIP VehicleCarrierShip)
    (cargoType ?SHIP Vehicle))		 Transportation.kif 2353-2355
(=>
    (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 3392-3404
(=>
    (instance ?VSD VehicleSafetyDevice)
    (hasPurpose ?VSD
        (exists (?V)
            (and
                (instance ?V Vehicle)
                (part ?VSD ?V)))))		 Cars.kif 3366-3372
(=>
    (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 15203-15211
(=>
    (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 3660-3689


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