Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - conveyance
conveyance

appearance as argument number 1
-------------------------


(instance conveyance CaseRole) Mid-level-ontology.kif 25846-25846 conveyance is an instance of case role
(documentation conveyance EnglishLanguage "(conveyance ?EVENT ?OBJ) means that ?OBJ is the Vehicle or other transportation device used in ?EVENT.") Mid-level-ontology.kif 25847-25849 conveyance is an instance of case role
(subrelation conveyance instrument) Mid-level-ontology.kif 25850-25850 conveyance is a subrelation of instrument
(domain conveyance 1 Transportation) Mid-level-ontology.kif 25851-25851 The number 1 argument of conveyance is an instance of transportation
(domain conveyance 2 TransportationDevice) Mid-level-ontology.kif 25852-25852 The number 2 argument of conveyance is an instance of transportation device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage conveyance "conveyance") domainEnglishFormat.kif 17130-17130
(termFormat ChineseTraditionalLanguage conveyance "輸送") domainEnglishFormat.kif 17131-17131
(termFormat ChineseLanguage conveyance "输送") domainEnglishFormat.kif 17132-17132
(format EnglishLanguage conveyance "%2 is %n a conveyance during %1") english_format.kif 85-85

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


(=>
    (and
        (instance ?TRANSPORT TransportViaRoadVehicle)
        (conveyance ?TRANSPORT ?VEHICLE))
    (instance ?VEHICLE RoadVehicle))		 Mid-level-ontology.kif 25861-25865 If X is an instance of transport via a road vehicle and Y is a conveyance during X, then Y is an instance of road vehicle
(=>
    (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 4362-4382 If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of transitway (3) Y is path along which X occurs (4) Z is a conveyance during X (5) W is an instance of transitway junction (6) W is a part of Y, then All of the following hold: (1) there exist V (2) U such that V is an instance of transitway (3) equal Y (4) V (5) W connects Y (6) V (7) W is capable of doing transfer as a path (8) U is an instance of transfer (9) Z is a conveyance during U (10) the time of existence of X meets the time of existence of U (11) the statement V is path along which U occurs has the modal force of possibility

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


(=>
    (and
        (instance ?DRIVING Driving)
        (subProcess ?TRANSPORT ?DRIVING)
        (instance ?TRANSPORT Transportation)
        (instance ?VEHICLE Vehicle)
        (patient ?DRIVING ?VEHICLE))
    (conveyance ?TRANSPORT ?VEHICLE))		 Mid-level-ontology.kif 25909-25916 If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, Z is an instance of vehicle, and Z is a patient of X, then Z is a conveyance during Y
(=>
    (instance ?TERM TransitTerminal)
    (hasPurpose ?TERM
        (exists (?T ?P ?TIME)
            (and
                (instance ?T Translocation)
                (locatedAtTime ?P ?TIME ?TERM)
                (or
                    (passenger ?T ?P)
                    (conveyance ?T ?P))
                (or
                    (equal ?TIME
                        (BeginFn
                            (WhenFn ?T)))
                    (equal ?TIME
                        (EndFn
                            (WhenFn ?T))))))))		 Transportation.kif 4196-4208 If X is an instance of transit terminal, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of translocation (3) Z located at time W for X (4) Z is a passenger in Y, Z is a conveyance during Y (5) equal W (6) the beginning of the time of existence of Y, or equal W (7) the end of the time of existence of Y
(=>
    (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 4362-4382 If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of transitway (3) Y is path along which X occurs (4) Z is a conveyance during X (5) W is an instance of transitway junction (6) W is a part of Y, then All of the following hold: (1) there exist V (2) U such that V is an instance of transitway (3) equal Y (4) V (5) W connects Y (6) V (7) W is capable of doing transfer as a path (8) U is an instance of transfer (9) Z is a conveyance during U (10) the time of existence of X meets the time of existence of U (11) the statement V is path along which U occurs has the modal force of possibility


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners