Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - cargo

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 22864-22866
(domain cargo 1 Shipping) Mid-level-ontology.kif 22868-22868 货物 的 1 数量 是 运输instance
(domain cargo 2 Object) Mid-level-ontology.kif 22869-22869 货物 的 2 数量 是 客体instance
(instance cargo AsymmetricRelation) Mid-level-ontology.kif 22863-22863 货物非对称关系instance
(instance cargo BinaryPredicate) Mid-level-ontology.kif 22862-22862 货物二元谓语instance
(instance cargo CaseRole) Mid-level-ontology.kif 22871-22871 货物格角色instance
(subrelation cargo transported) Mid-level-ontology.kif 22870-22870 货物运输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 13229-13229
(termFormat EnglishLanguage cargo "cargo") domainEnglishFormat.kif 13228-13228

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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