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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandTransportation
LandTransportation(陸運)

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


(documentation LandTransportation EnglishLanguage "Any instance of Transportation where the instrument is a LandVehicle.") Mid-level-ontology.kif 17768-17769
(subclass LandTransportation Transportation) Mid-level-ontology.kif 17767-17767 子類 陸運 and Transportation

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


(subclass Cycling LandTransportation) Transportation.kif 1931-1931 子類 Cycling and 陸運
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 17791-17791 子類 通過公路車輛運輸 and 陸運
(termFormat ChineseLanguage LandTransportation "陆运") domainEnglishFormat.kif 33295-33295
(termFormat ChineseTraditionalLanguage LandTransportation "陸運") domainEnglishFormat.kif 33294-33294
(termFormat EnglishLanguage LandTransportation "land transportation") domainEnglishFormat.kif 33293-33293

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


(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 17784-17788
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 17771-17778

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


(=>
    (instance ?SERVICE LandTransportationService)
    (exists (?LAND ?VEHICLE)
        (and
            (instance ?LAND LandTransportation)
            (instance ?VEHICLE LandVehicle)
            (instrument ?LAND ?VEHICLE)
            (subProcess ?LAND ?SERVICE))))
Transportation.kif 3372-3379
(=>
    (instance ?VEHICLE LandVehicle)
    (capability LandTransportation instrument ?VEHICLE))
Mid-level-ontology.kif 17780-17782


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