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 24525-24527
(domain cargo 1 Shipping) Mid-level-ontology.kif 24529-24529 The number 1 argument of cargo is an instance of shipping
(domain cargo 2 Object) Mid-level-ontology.kif 24530-24530 The number 2 argument of cargo is an instance of object
(instance cargo AsymmetricRelation) Mid-level-ontology.kif 24524-24524 cargo is an instance of asymmetric relation
(instance cargo BinaryPredicate) Mid-level-ontology.kif 24523-24523 cargo is an instance of binary predicate
(instance cargo CaseRole) Mid-level-ontology.kif 24532-24532 cargo is an instance of case role
(subrelation cargo transported) Mid-level-ontology.kif 24531-24531 cargo is a subrelation of transported

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 13244-13244
(termFormat EnglishLanguage cargo "cargo") domainEnglishFormat.kif 13243-13243

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