|
|
   IntercostalsMuscle
|
|
|
| appearance as argument number 1 |
|
|
| (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 7721-7725 | |
| (externalImage Shipping "http://upload.wikimedia.org/wikipedia/commons/2/ 2e/ Panama_Canal_Ship_Entering_Chamber.jpeg") | pictureList.kif 1984-1984 | |
| (subclass Shipping WaterTransportation) | Mid-level-ontology.kif 7720-7720 |
| appearance as argument number 2 |
|
|
| (subclass CommercialShipping Shipping) | Mid-level-ontology.kif 7727-7727 | |
| (termFormat ChineseLanguage Shipping "运输") | domainEnglishFormat.kif 52691-52691 | |
| (termFormat ChineseTraditionalLanguage Shipping "運輸") | domainEnglishFormat.kif 52690-52690 | |
| (termFormat EnglishLanguage Shipping "shipping") | domainEnglishFormat.kif 52689-52689 |
| appearance as argument number 3 |
|
|
| (domain cargo 1 Shipping) | Mid-level-ontology.kif 22921-22921 |
| consequent |
|
|
| (=> (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 2601-2610 | |
| (=> (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 30092-30101 |
|
|
|
