transported - Sigma Knowledge base Browser

appearance as argument number 1

(instance transported BinaryPredicate)	Mid-level-ontology.kif 25169-25169	transported is an instance of binary predicate
(instance transported AsymmetricRelation)	Mid-level-ontology.kif 25170-25170	transported is an instance of asymmetric relation
(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 25171-25174	transported is an instance of asymmetric relation
(domain transported 1 Transportation)	Mid-level-ontology.kif 25176-25176	The number 1 argument of transported is an instance of transportation
(domain transported 2 Object)	Mid-level-ontology.kif 25177-25177	The number 2 argument of transported is an instance of object
(subrelation transported objectTransferred)	Mid-level-ontology.kif 25178-25178	transported is a subrelation of object transferred
(instance transported CaseRole)	Mid-level-ontology.kif 25179-25179	transported is an instance of case role

appearance as argument number 2

(subrelation cargo transported)	Mid-level-ontology.kif 25189-25189	cargo is a subrelation of transported
(termFormat EnglishLanguage transported "transported")	domainEnglishFormat.kif 58999-58999	cargo is a subrelation of transported
(termFormat ChineseTraditionalLanguage transported "運送的")	domainEnglishFormat.kif 59000-59000	cargo is a subrelation of transported
(termFormat ChineseLanguage transported "运送的")	domainEnglishFormat.kif 59001-59001	cargo is a subrelation of transported
(format EnglishLanguage transported "%2 is %n transported during %1")	english_format.kif 244-244	cargo is a subrelation of 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)))

If X is an instance of transportation, Y is transported during X, Z is an attribute of Y, and Z is an instance of hazardous material transport attribute, then the statement there exists W such that W is an instance of damaging and Y is a resource for W has the modal force of possibility holds during X

consequent

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

If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, and Z is an agent of X, then Z is transported during Y