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 23529-23531
(domain conveyance 1 Transportation) Mid-level-ontology.kif 23533-23533 Le nombre 1 argument de conveyance est une instance de transporter
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 23534-23534 Le nombre 2 argument de conveyance est une instance de v�hicule de transport
(instance conveyance CaseRole) Mid-level-ontology.kif 23528-23528 conveyance est une instance de r�le d�pendant du cas
(subrelation conveyance instrument) Mid-level-ontology.kif 23532-23532 conveyance est une sous-relation de 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
(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 23543-23547

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


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


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