Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Shipping(shipping)
|
| appearance as argument number 1 |
|
| (subclass Shipping WaterTransportation) | Mid-level-ontology.kif 9014-9014 | Shipping is a subclass of water transportation |
| (documentation Shipping EnglishLanguage "Shipping is the subclass of WaterTransportation events in which goods are transported from one place to another by an agent who is entrusted with the goods temporarily just in order to move them. Shipping may be done within an organization or it may be done by an outside commercial agent. See CommercialShipping.") | Mid-level-ontology.kif 9015-9019 | Shipping is a subclass of water transportation |
| (externalImage Shipping "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Panama_Canal_Ship_Entering_Chamber.jpeg") | pictureList.kif 1983-1983 | Shipping is a subclass of water transportation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain cargo 1 Shipping) | Mid-level-ontology.kif 25187-25187 | The number 1 argument of cargo is an instance of shipping |
| consequent |
|
|
| (=> (instance ?F CargoShip) (exists (?T ?OBJ) (and (instance ?T Shipping) (instance ?OBJ Object) (hasPurpose ?F (and (instrument ?T ?F) (patient ?T ?OBJ)))))) |
Mid-level-ontology.kif 32676-32685 | If X is an instance of cargo ship, then there exist Y, Z such that Y is an instance of shipping, Z is an instance of object, X has the purpose X is an instrument for Y, and Z is a patient of Y |
| (=> (instance ?C ShipContainer) (hasPurpose ?C (exists (?S ?O) (and (instance ?S Shipping) (cargo ?S ?C) (cargo ?S ?O) (holdsDuring (WhenFn ?S) (contains ?C ?O)))))) |
Transportation.kif 2831-2840 | If X is an instance of ship container, then X has the purpose there exist Y, Z such that Y is an instance of shipping, X is carried as cargo during Y, Z is carried as cargo during Y, and X contains Z holds during the time of existence of Y |
|