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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CargoVehicle
CargoVehicle(cargo vehicle)
cargo_vehicle

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


(documentation CargoVehicle EnglishLanguage "A Vehicle that is designed to carry Objects. Note that Vehicles that are primarily designed to carry people rather than cargo may still carry cargo. For example, a passenger sedan might be capable of carrying lumber strapped to the roof. For this reason, PassengerVehicle and CargoVehicle are not disjoint.") Transportation.kif 1728-1732
(externalImage CargoVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") pictureList.kif 4583-4583 "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Truck.car.transporter.arp.750pix.jpg" is a URL depicting cargo vehicle
(subclass CargoVehicle Vehicle) Transportation.kif 1727-1727 Cargo vehicle is a subclass of vehicle

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


(subclass Truck CargoVehicle) Transportation.kif 1974-1974 Truck is a subclass of cargo vehicle
(termFormat EnglishLanguage CargoVehicle "cargo vehicle") domainEnglishFormat.kif 2631-2631 "cargo vehicle" is the printable form of cargo vehicle in english language

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


(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?OB
            (KappaFn ?O
                (not
                    (instance ?O Human)))))
    (capability Transportation patient ?OB))
Transportation.kif 1733-1740


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