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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransportViaRoadVehicle
TransportViaRoadVehicle(transport via a road vehicle)bus, cab, cycle, drive, hitch, hitchhike, joyride, motor, motorbike, motorcycle, pick_up, taxi, thumb, tool, tool_around, transport_via_a_road_vehicle

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


(documentation TransportViaRoadVehicle EnglishLanguage "TransportViaRoadVehicle is the class of Transportation events in which the instrument is an instance of RoadVehicle.") Mid-level-ontology.kif 15383-15386
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 15382-15382 Transport via a road vehicle is a subclass of land transportation
(subclass TransportViaRoadVehicle Transportation) Mid-level-ontology.kif 15381-15381 Transport via a road vehicle is a subclass of transportation

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


(termFormat EnglishLanguage TransportViaRoadVehicle "transport via a road vehicle") domainEnglishFormat.kif 10264-10264 "transport via a road vehicle" is the printable form of transport via a road vehicle in english language

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


(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))
Mid-level-ontology.kif 21456-21460
(=>
    (instance ?TRANSPORT TransportViaRoadVehicle)
    (exists (?DRIVING)
        (and
            (instance ?DRIVING Driving)
            (subProcess ?TRANSPORT ?DRIVING))))
Mid-level-ontology.kif 21462-21467

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


(=>
    (and
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (exists (?TRANSPORT)
        (and
            (instance ?TRANSPORT TransportViaRoadVehicle)
            (subProcess ?TRANSPORT ?DRIVE))))
Mid-level-ontology.kif 21478-21486
(=>
    (and
        (instance ?TRANSPORT Transportation)
        (instrument ?TRANSPORT ?VEHICLE)
        (instance ?VEHICLE RoadVehicle))
    (instance ?TRANSPORT TransportViaRoadVehicle))
Mid-level-ontology.kif 21449-21454


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners