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

Formal Language: 



KB Term:  Term intersection
English Word: 

  conveyance

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 22952-22954
(domain conveyance 1 Transportation) Mid-level-ontology.kif 22956-22956
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 22957-22957
(instance conveyance CaseRole) Mid-level-ontology.kif 22951-22951
(subrelation conveyance instrument) Mid-level-ontology.kif 22955-22955

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

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


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

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


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


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

Show without tree


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