CargoShip |
appearance as argument number 1 |
(documentation CargoShip EnglishLanguage "CargoShip is the subclass of Ships that transport goods in exchange for payment. CargoShip includes ships that carry all kinds of cargo, including oil and bulk products as well as packaged, palletized, or containerized goods.") | Mid-level-ontology.kif 30063-30066 | |
(externalImage CargoShip "http://articulatesoftware.com/SUMOpictures/transportation/ boats_1/ Cargo_Ship_08.png") | pictureList.kif 323-323 | |
(externalImage CargoShip "http://upload.wikimedia.org/wikipedia/en/c/c5/ Cargoship06b.jpg") | pictureList.kif 1690-1690 | |
(subclass CargoShip Ship) | Mid-level-ontology.kif 30062-30062 | CargoShip est une sous-classe de Ship |
appearance as argument number 2 |
antecedent |
(=> (instance ?F CargoShip) (exists (?T ?OBJ) (and (instance ?T Transportation) (instance ?OBJ Object) (hasPurpose ?F (and (agent ?T ?F) (patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 30068-30077 |
consequent |