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 25170-25172
(domain conveyance 1 Transportation) Mid-level-ontology.kif 25174-25174 conveyance の数値 1 引数は 交通手段 の instance では
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 25175-25175 conveyance の数値 2 引数は 輸送機 の instance では
(instance conveyance CaseRole) Mid-level-ontology.kif 25169-25169 conveyance は 格役割 の instance では
(subrelation conveyance instrument) Mid-level-ontology.kif 25173-25173 conveyance は instrument の subrelation では

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

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


(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))		 Transportation.kif 3822-3842
(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 25184-25188

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


(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 25232-25239
(=>
    (and
        (instance ?T Transportation)
        (instance ?P1 Transitway)
        (path ?T ?P1)
        (conveyance ?T ?V)
        (instance ?J TransitwayJunction)
        (part ?J ?P1))
    (exists (?P2 ?M)
        (and
            (instance ?P2 Transitway)
            (not
                (equal ?P1 ?P2))
            (connects ?J ?P1 ?P2)
            (capability Transfer path ?J)
            (instance ?M Transfer)
            (conveyance ?M ?V)
            (meetsTemporally
                (WhenFn ?T)
                (WhenFn ?M))
            (modalAttribute
                (path ?M ?P2) Possibility))))		 Transportation.kif 3822-3842
(=>
    (instance ?TERM TransitTerminal)
    (hasPurpose ?TERM
        (exists (?T ?P)
            (and
                (instance ?T Translocation)
                (locatedAtTime ?P ?TIME ?TERM)
                (or
                    (passenger ?T ?P)
                    (conveyance ?T ?P))
                (equal ?TIME
                    (or
                        (BeginFn
                            (WhenFn ?T))
                        (EndFn
                            (WhenFn ?T))))))))		 Transportation.kif 3653-3666


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