transported - Sigma Knowledge base Browser

appearance as argument number 1

(documentation transported EnglishLanguage "(transported ?EVENT ?OBJ) means that ?OBJ is transported (carried/ moved to a different physical location) in the Transportation ?EVENT.")	Mid-level-ontology.kif 24494-24497
(domain transported 1 Transportation)	Mid-level-ontology.kif 24499-24499	Le nombre 1 argument de transported est une instance de transporter
(domain transported 2 Object)	Mid-level-ontology.kif 24500-24500	Le nombre 2 argument de transported est une instance de objet
(instance transported AsymmetricRelation)	Mid-level-ontology.kif 24493-24493	transported est une instance de relation asym�trique
(instance transported BinaryPredicate)	Mid-level-ontology.kif 24492-24492	transported est une instance de pr�dicat binaire
(instance transported CaseRole)	Mid-level-ontology.kif 24502-24502	transported est une instance de r�le d�pendant du cas
(subrelation transported objectTransferred)	Mid-level-ontology.kif 24501-24501	transported est une sous-relation de objectTransferred

appearance as argument number 2

(format ChineseLanguage transported "%2 %n 是在 %1 transported")	chinese_format.kif 243-243
(format EnglishLanguage transported "%2 is %n transported during %1")	english_format.kif 244-244
(format JapaneseLanguage transported "%2 は %1 の間 transported %n")	japanese_format.kif 1970-1970
(subrelation cargo transported)	Mid-level-ontology.kif 24512-24512	cargo est une sous-relation de transported
(termFormat ChineseLanguage transported "运输")	chinese_format.kif 244-244	cargo est une sous-relation de transported
(termFormat ChineseLanguage transported "运送的")	domainEnglishFormat.kif 59008-59008	cargo est une sous-relation de transported
(termFormat ChineseTraditionalLanguage transported "運送的")	domainEnglishFormat.kif 59007-59007	cargo est une sous-relation de transported
(termFormat EnglishLanguage transported "transported")	domainEnglishFormat.kif 59006-59006	cargo est une sous-relation de transported

antecedent

(=>
    (and
        (instance ?T Transportation)
        (transported ?T ?C)
        (attribute ?C ?H)
        (instance ?H HazardousMaterialTransportAttribute))
    (holdsDuring ?T
        (modalAttribute
            (exists (?D)
                (and
                    (instance ?D Damaging)
                    (resource ?D ?C))) Possibility)))

Transportation.kif 4115-4126

consequent

(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (agent ?DRIVING ?DRIVER))
    (transported ?TRANSPORT ?DRIVER))

Mid-level-ontology.kif 25216-25222