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	货物的 1 数量是运输的 instance
(domain cargo 2 Object)	Mid-level-ontology.kif 22922-22922	货物的 2 数量是客体的 instance
(instance cargo AsymmetricRelation)	Mid-level-ontology.kif 22916-22916	货物是非对称关系的 instance
(instance cargo BinaryPredicate)	Mid-level-ontology.kif 22915-22915	货物是二元谓语的 instance
(instance cargo CaseRole)	Mid-level-ontology.kif 22924-22924	货物是格角色的 instance
(subrelation cargo transported)	Mid-level-ontology.kif 22923-22923	货物是运输的 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

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

如果物理是船舶集装箱的 instance，
然后那个物理的目的是有存在实体和另一个实体这样那个实体是运输的 instance 和那个物理是那个实体所载运的 cargo 和那个另外实体是那个实体所载运的 cargo 和那个物理 contains 那个另外实体在那个实体出现的 time holdsDuring

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

KB Term:			Term intersection

English Word: