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 RoadVehicle est disjoint de RollingStock
(documentation RoadVehicle EnglishLanguage "The class of LandVehicles that are not RollingStock.") Mid-level-ontology.kif 3481-3482
(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 3480-3480 RoadVehicle est une sous-classe de LandVehicle

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


(industryProductType MotorVehicleManufacturing RoadVehicle) Economy.kif 1818-1818 industryProductType MotorVehicleManufacturing and RoadVehicle
(subclass EmergencyRoadVehicle RoadVehicle) Transportation.kif 1892-1892 EmergencyRoadVehicle est une sous-classe de RoadVehicle
(subclass MilitaryTank RoadVehicle) Military.kif 146-146 MilitaryTank est une sous-classe de RoadVehicle
(subclass MotorScooter RoadVehicle) Transportation.kif 1885-1885 MotorScooter est une sous-classe de RoadVehicle
(subclass SelfPoweredRoadVehicle RoadVehicle) Transportation.kif 1803-1803 SelfPoweredRoadVehicle est une sous-classe de RoadVehicle
(subclass TractorTrailer RoadVehicle) Transportation.kif 1827-1827 TractorTrailer est une sous-classe de RoadVehicle
(subclass Trailer RoadVehicle) Transportation.kif 1820-1820 Trailer est une sous-classe de RoadVehicle
(termFormat ChineseLanguage RoadVehicle "公路车辆") domainEnglishFormat.kif 50210-50210
(termFormat ChineseTraditionalLanguage RoadVehicle "公路車輛") domainEnglishFormat.kif 50209-50209
(termFormat EnglishLanguage RoadVehicle "road vehicle") domainEnglishFormat.kif 50208-50208

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))		 Mid-level-ontology.kif 23514-23522
(=>
    (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 23485-23490
(=>
    (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 3510-3519

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 16854-16865
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 23492-23496
(=>
    (instance ?GARAGE Garage)
    (hasPurpose ?GARAGE
        (exists (?AUTO)
            (and
                (instance ?AUTO RoadVehicle)
                (contains ?GARAGE ?AUTO)))))		 Mid-level-ontology.kif 15450-15456
(=>
    (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 15177-15182
(=>
    (instance ?W Windshield)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (FrontFn ?A)))))		 Mid-level-ontology.kif 3430-3435


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