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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoadVehicle

 Sigma KEE - RoadVehicle
RoadVehicle(公路車輛)

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


(disjoint RoadVehicle RollingStock) Transportation.kif 2096-2096 不相交的 公路車輛 and 波蕩股
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 3509-3510
(externalImage RoadVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 15/ Late_model_Ford_Model_T.jpg/ 180px-Late_model_Ford_Model_T.jpg") pictureList.kif 1239-1239
(subclass RoadVehicle LandVehicle) Mid-level-ontology.kif 3508-3508 子類 公路車輛 and 陸地車輛

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1818-1818 公路車輛 是 汽車製造業 的 industry 產品類別
(subclass EmergencyRoadVehicle RoadVehicle) Transportation.kif 1892-1892 子類 緊急公路車輛 and 公路車輛
(subclass MilitaryTank RoadVehicle) Military.kif 146-146 子類 軍用坦克 and 公路車輛
(subclass MotorScooter RoadVehicle) Transportation.kif 1885-1885 子類 小型摩托車 and 公路車輛
(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1803-1803 子類 自供電公路車輛 and 公路車輛
(subclass TractorTrailer RoadVehicle) Transportation.kif 1827-1827 子類 牽引車拖車 and 公路車輛
(subclass Trailer RoadVehicle) Transportation.kif 1820-1820 子類 預告片 and 公路車輛
(termFormat ChineseLanguage RoadVehicle "公路车辆") domainEnglishFormat.kif 50198-50198
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50197-50197
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50196-50196

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 23565-23573
(=>
    (and
        (instance ?L LeafSpring)
        (part ?L ?RV)
        (instance ?RV RoadVehicle))
    (modalAttribute
        (exists (?L2)
            (and
                (instance ?L2 LeafSpring)
                (part ?L2 ?RV)
                (not
                    (equal ?L ?L2))
                (meetsSpatially ?L ?L2))) Likely))		 Cars.kif 902-915
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))		 Mid-level-ontology.kif 23536-23541
(=>
    (and
        (instance ?W VehicleWheel)
        (instance ?V RoadVehicle)
        (part ?W ?V))
    (exists (?A)
        (and
            (instance ?A Axle)
            (component ?A ?V)
            (connected ?W ?A))))		 Mid-level-ontology.kif 3538-3547

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


(=>
    (and
        (instance ?L DriversLicense)
        (possesses ?A ?L))
    (confersNorm ?L
        (exists (?D ?V)
            (and
                (instance ?D Driving)
                (agent ?D ?A)
                (patient ?D ?V)
                (instance ?V RoadVehicle))) Permission))		 Mid-level-ontology.kif 16882-16893
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 23543-23547
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))		 Mid-level-ontology.kif 15478-15484
(=>
    (instance ?TC TireChain)
    (hasPurpose ?TC
        (exists (?V ?W ?F)
            (and
                (instance ?V RoadVehicle)
                (instance ?W Wheel)
                (part ?W ?V)
                (instance ?F Friction)
                (covers ?TC ?W)
                (instrument ?F ?TC)))))		 Cars.kif 4453-4463
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))		 Mid-level-ontology.kif 15205-15210
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))		 Mid-level-ontology.kif 3458-3463


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