TreeView Knowledge Base Browser

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 22917-22919
(domain cargo 1 Shipping)	Mid-level-ontology.kif 22921-22921
(domain cargo 2 Object)	Mid-level-ontology.kif 22922-22922
(instance cargo AsymmetricRelation)	Mid-level-ontology.kif 22916-22916
(instance cargo BinaryPredicate)	Mid-level-ontology.kif 22915-22915
(instance cargo CaseRole)	Mid-level-ontology.kif 22924-22924
(subrelation cargo transported)	Mid-level-ontology.kif 22923-22923

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

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

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

KB Term:			Term intersection

English Word: