conveyance - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__conveyance__m,s__EnglishLanguage,'"(conveyance ?EVENT ?OBJ) means that ?OBJ is the Vehicle or other transportation device used in ?EVENT."')	Mid-level-ontology.kif 21455-21457
s__domain(s__conveyance__m,n__1,s__Transportation)	Mid-level-ontology.kif 21459-21459	The number 1 argument of conveyance is an instance of transportation
s__domain(s__conveyance__m,n__2,s__TransportationDevice)	Mid-level-ontology.kif 21460-21460	The number 2 argument of conveyance is an instance of transportation device
s__instance(s__CaseRole,s__SetOrClass) s__instance(s__conveyance__m,s__CaseRole)	Mid-level-ontology.kif 21454-21454	conveyance is an instance of case role
s__subrelation(s__conveyance__m,s__instrument__m)	Mid-level-ontology.kif 21458-21458	conveyance is a subrelation of instrument

appearance as argument number 2

s__format(s__ChineseLanguage,s__conveyance__m,'"%2 %n 是 %1 的 conveyance"')	chinese_format.kif 85-85
s__format(s__EnglishLanguage,s__conveyance__m,'"%2 is %n a conveyance during %1"')	english_format.kif 85-85
s__termFormat(s__ChineseLanguage,s__conveyance__m,'"输送"')	domainEnglishFormat.kif 17053-17053
s__termFormat(s__ChineseLanguage,s__conveyance__m,'"运输工具"')	chinese_format.kif 86-86
s__termFormat(s__ChineseTraditionalLanguage,s__conveyance__m,'"輸送"')	domainEnglishFormat.kif 17052-17052
s__termFormat(s__EnglishLanguage,s__conveyance__m,'"conveyance"')	domainEnglishFormat.kif 17051-17051

antecedent

( ! [V__VEHICLE,V__TRANSPORT] :
   (s__instance(V__VEHICLE,s__TransportationDevice) =>
     (s__instance(V__TRANSPORT,s__TransportViaRoadVehicle) &
       s__conveyance(V__TRANSPORT,V__VEHICLE))
   =>
   s__instance(V__VEHICLE,s__RoadVehicle) )
)

Mid-level-ontology.kif 21469-21473

consequent

( ! [V__DRIVING,V__VEHICLE,V__TRANSPORT] :
   ((s__instance(V__DRIVING,s__Driving) &
       s__subProcess(V__TRANSPORT,V__DRIVING)
     &
     s__instance(V__TRANSPORT,s__Transportation) &
     s__instance(V__VEHICLE,s__Vehicle) &
     s__patient(V__DRIVING,V__VEHICLE))
=>
s__conveyance(V__TRANSPORT,V__VEHICLE)
)
)

Mid-level-ontology.kif 21517-21524