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 23168-23171
(domain transported 1 Transportation)	Mid-level-ontology.kif 23173-23173	The number 1 argument of transported is an instance of transportation
(domain transported 2 Object)	Mid-level-ontology.kif 23174-23174	The number 2 argument of transported is an instance of object
(instance transported AsymmetricRelation)	Mid-level-ontology.kif 23167-23167	transported is an instance of asymmetric relation
(instance transported BinaryPredicate)	Mid-level-ontology.kif 23166-23166	transported is an instance of binary predicate
(instance transported CaseRole)	Mid-level-ontology.kif 23176-23176	transported is an instance of case role
(subrelation transported objectTransferred)	Mid-level-ontology.kif 23175-23175	transported is a subrelation of object transferred

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 23186-23186	cargo is a subrelation of transported
(termFormat ChineseLanguage transported "运输")	chinese_format.kif 244-244	cargo is a subrelation of transported
(termFormat ChineseLanguage transported "运送的")	domainEnglishFormat.kif 59039-59039	cargo is a subrelation of transported
(termFormat ChineseTraditionalLanguage transported "運送的")	domainEnglishFormat.kif 59038-59038	cargo is a subrelation of transported
(termFormat EnglishLanguage transported "transported")	domainEnglishFormat.kif 59037-59037	cargo is a subrelation of transported

consequent

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

Mid-level-ontology.kif 23890-23896