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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - cargo
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 21060-21062
(domain cargo 1 Shipping) Mid-level-ontology.kif 21064-21064
(domain cargo 2 Object) Mid-level-ontology.kif 21065-21065
(instance cargo AsymmetricRelation) Mid-level-ontology.kif 21059-21059
(instance cargo BinaryPredicate) Mid-level-ontology.kif 21058-21058
(instance cargo CaseRole) Mid-level-ontology.kif 21067-21067
(subrelation cargo transported) Mid-level-ontology.kif 21066-21066

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
(termFormat ChineseLanguage cargo "货物") chinese_format.kif 70-70
(termFormat ChineseTraditionalLanguage cargo "貨物") domainEnglishFormat.kif 13232-13232
(termFormat EnglishLanguage cargo "cargo") domainEnglishFormat.kif 13231-13231


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