TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CargoVehicle Vehicle)	Transportation.kif 1915-1915	Cargo vehicle is a subclass of vehicle
(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 1916-1920	Cargo vehicle is a subclass of vehicle
(externalImage CargoVehicle "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Truck.car.transporter.arp.750pix.jpg")	pictureList.kif 4581-4581	Cargo vehicle is a subclass of vehicle

appearance as argument number 2

(subclass Truck CargoVehicle)	Transportation.kif 2170-2170	Truck is a subclass of cargo vehicle
(termFormat EnglishLanguage CargoVehicle "cargo vehicle")	domainEnglishFormat.kif 13254-13254	Truck is a subclass of cargo vehicle
(termFormat ChineseTraditionalLanguage CargoVehicle "貨車")	domainEnglishFormat.kif 13255-13255	Truck is a subclass of cargo vehicle
(termFormat ChineseLanguage CargoVehicle "货车")	domainEnglishFormat.kif 13256-13256	Truck is a subclass of cargo vehicle

antecedent

(=>
    (and
        (instance ?VEHICLE CargoVehicle)
        (instance ?O Human))
    (not
        (modalAttribute
            (exists (?T)
                (and
                    (instance ?T Transportation)
                    (patient ?T ?O)
                    (instrument ?T ?VEHICLE))) Possibility)))

If X is an instance of cargo vehicle and Y is an instance of human, then the statement there doesn't exist Z such that Z is an instance of transportation, Y is a patient of Z, and X is an instrument for Z doesn't have the modal force of possibility