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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CargoVehicle

Sigma KEE - CargoVehicle
CargoVehicle

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 1761-1765
(externalImage CargoVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg") pictureList.kif 4583-4583
(subclass CargoVehicle Vehicle) Transportation.kif 1760-1760 subclass CargoVehicle and Vehicle

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


(subclass Truck CargoVehicle) Transportation.kif 2010-2010 subclass Truck and CargoVehicle
(termFormat ChineseLanguage CargoVehicle "货车") domainEnglishFormat.kif 13251-13251
(termFormat ChineseTraditionalLanguage CargoVehicle "貨車") domainEnglishFormat.kif 13250-13250
(termFormat EnglishLanguage CargoVehicle "cargo vehicle") domainEnglishFormat.kif 13249-13249

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


(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?O Human))
    (not
        (modalAttribute
            (exists (?T)
                (and
                    (instance ?T Transportation)
                    (patient ?T ?HUMAN)
                    (instrument ?T ?VEHICLE))) Possibility)))
Transportation.kif 1766-1776


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