Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conveyance
conveyance

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 21480-21482
(domain conveyance 1 Transportation) Mid-level-ontology.kif 21484-21484 domain conveyance, 1 and Transportation
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 21485-21485 domain conveyance, 2 and TransportationDevice
(instance conveyance CaseRole) Mid-level-ontology.kif 21479-21479 instance conveyance and CaseRole
(subrelation conveyance instrument) Mid-level-ontology.kif 21483-21483 subrelation conveyance and instrument

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
(termFormat ChineseLanguage conveyance "输送") domainEnglishFormat.kif 17053-17053
(termFormat ChineseLanguage conveyance "运输工具") chinese_format.kif 86-86
(termFormat ChineseTraditionalLanguage conveyance "輸送") domainEnglishFormat.kif 17052-17052
(termFormat EnglishLanguage conveyance "conveyance") domainEnglishFormat.kif 17051-17051

antecedent
-------------------------


(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))
Mid-level-ontology.kif 21494-21498

consequent
-------------------------


(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))
Mid-level-ontology.kif 21542-21549


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners