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 18026-18027
(subclass LandTransportation Transportation) Mid-level-ontology.kif 18025-18025

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


(subclass Cycling LandTransportation) Transportation.kif 2071-2071
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 18049-18049
(termFormat ChineseLanguage LandTransportation "陆运") domainEnglishFormat.kif 33329-33329
(termFormat ChineseTraditionalLanguage LandTransportation "陸運") domainEnglishFormat.kif 33328-33328
(termFormat EnglishLanguage LandTransportation "land transportation") domainEnglishFormat.kif 33327-33327

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


(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 18042-18046
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 18029-18036

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


(=>
    (instance ?SERVICE LandTransportationService)
    (exists (?LAND ?VEHICLE)
        (and
            (instance ?LAND LandTransportation)
            (instance ?VEHICLE LandVehicle)
            (instrument ?LAND ?VEHICLE)
            (subProcess ?LAND ?SERVICE))))
Transportation.kif 4199-4206
(=>
    (instance ?VEHICLE LandVehicle)
    (capability LandTransportation instrument ?VEHICLE))
Mid-level-ontology.kif 18038-18040


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