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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoadVehicle
RoadVehicle(公路车辆)

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


(disjoint RoadVehicle RollingStock) Transportation.kif 2096-2096 公路车辆 和 % 2 是 disjoint
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 3474-3475
(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 1240-1240
(subclass RoadVehicle LandVehicle) Mid-level-ontology.kif 3473-3473 公路车辆陆地车辆subclass

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1829-1829 公路车辆汽车制造业industry 产品类别
(subclass EmergencyRoadVehicle RoadVehicle) Transportation.kif 1892-1892 紧急公路车辆公路车辆subclass
(subclass MilitaryTank RoadVehicle) Military.kif 146-146 军用坦克公路车辆subclass
(subclass MotorScooter RoadVehicle) Transportation.kif 1885-1885 小型摩托车公路车辆subclass
(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1803-1803 自供电公路车辆公路车辆subclass
(subclass TractorTrailer RoadVehicle) Transportation.kif 1827-1827 牵引车拖车公路车辆subclass
(subclass Trailer RoadVehicle) Transportation.kif 1820-1820 预告片公路车辆subclass
(termFormat ChineseLanguage RoadVehicle "公路车辆") domainEnglishFormat.kif 50184-50184
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50183-50183
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50182-50182

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))
Mid-level-ontology.kif 23515-23523
(=>
    (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 23486-23491
(=>
    (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 3503-3512

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 16725-16736
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))
Mid-level-ontology.kif 23493-23497
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))
Mid-level-ontology.kif 15325-15331
(=>
    (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 15052-15057
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))
Mid-level-ontology.kif 3423-3428


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 3.0 is open source software produced by Articulate Software and its partners