conveyance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation conveyance EnglishLanguage "(conveyance ?EVENT ?OBJ) means that ?OBJ is the Vehicle or other transportation device used in ?EVENT.")	Mid-level-ontology.kif 23528-23530
(domain conveyance 1 Transportation)	Mid-level-ontology.kif 23532-23532	conveyance の数値 1 引数は交通手段の instance では %n
(domain conveyance 2 TransportationDevice)	Mid-level-ontology.kif 23533-23533	conveyance の数値 2 引数は輸送機の instance では %n
(instance conveyance CaseRole)	Mid-level-ontology.kif 23527-23527	conveyance は格役割の instance では %n
(subrelation conveyance instrument)	Mid-level-ontology.kif 23531-23531	conveyance は instrument の subrelation では %n

appearance as argument number 2

(format ChineseLanguage conveyance "%2 %n 是 %1 的 conveyance")	chinese_format.kif 85-85
(format EnglishLanguage conveyance "%2 is %n a conveyance during %1")	english_format.kif 85-85
(format JapaneseLanguage conveyance "%2 は %1 の間の conveyance では %n")	japanese_format.kif 1891-1891
(termFormat ChineseLanguage conveyance "输送")	domainEnglishFormat.kif 17130-17130
(termFormat ChineseLanguage conveyance "运输工具")	chinese_format.kif 86-86
(termFormat ChineseTraditionalLanguage conveyance "輸送")	domainEnglishFormat.kif 17129-17129
(termFormat EnglishLanguage conveyance "conveyance")	domainEnglishFormat.kif 17128-17128

antecedent

(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))

Mid-level-ontology.kif 23542-23546

consequent

(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))

Mid-level-ontology.kif 23590-23597