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 21442-21444
(domain conveyance 1 Transportation) Mid-level-ontology.kif 21446-21446 The number 1 argument of conveyance is an instance of transportation
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 21447-21447 The number 2 argument of conveyance is an instance of transportation device
(instance conveyance CaseRole) Mid-level-ontology.kif 21441-21441 conveyance is an instance of case role
(subrelation conveyance instrument) Mid-level-ontology.kif 21445-21445 conveyance is a subrelation of 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 69-69
(termFormat ChineseLanguage conveyance "运输工具") chinese_format.kif 86-86 "运输工具" is the printable form of conveyance in ChineseLanguage
(termFormat EnglishLanguage conveyance "conveyance") domainEnglishFormat.kif 3276-3276 "conveyance" is the printable form of conveyance in english language

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners