| appearance as argument number 1 |
|
| (documentation cargo EnglishLanguage "(cargo ?EVENT ?OBJ) means that ?OBJ is transported as cargo in the Shipping event ?EVENT.") | Mid-level-ontology.kif 24506-24508 | |
| (domain cargo 1 Shipping) | Mid-level-ontology.kif 24510-24510 | 货物 的 1 数量 是 运输 的 instance |
| (domain cargo 2 Object) | Mid-level-ontology.kif 24511-24511 | 货物 的 2 数量 是 客体 的 instance |
| (instance cargo AsymmetricRelation) | Mid-level-ontology.kif 24505-24505 | 货物 是 非对称关系 的 instance |
| (instance cargo BinaryPredicate) | Mid-level-ontology.kif 24504-24504 | 货物 是 二元谓语 的 instance |
| (instance cargo CaseRole) | Mid-level-ontology.kif 24513-24513 | 货物 是 格角色 的 instance |
| (subrelation cargo transported) | Mid-level-ontology.kif 24512-24512 | 货物 是 运输 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage cargo "%2 %n 是 %1 所载运的 cargo") | chinese_format.kif 69-69 | |
| (format EnglishLanguage cargo "%2 is %n carried as cargo during %1") | english_format.kif 69-69 | |
| (format JapaneseLanguage cargo "%2 は、%1 の最中 cargo として運ばれ %n") | japanese_format.kif 1883-1883 | |
| (termFormat ChineseLanguage cargo "货物") | chinese_format.kif 70-70 | |
| (termFormat ChineseTraditionalLanguage cargo "貨物") | domainEnglishFormat.kif 13238-13238 | |
| (termFormat EnglishLanguage cargo "cargo") | domainEnglishFormat.kif 13237-13237 |
| 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 2785-2794 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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