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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LandTransportation
LandTransportation(land transportation)chariot, haul, rail, roll, sled, sleigh, snowmobile, train, wheel

appearance as argument number 1

(documentation LandTransportation EnglishLanguage "Any instance of Transportation where the instrument is a LandVehicle.") Mid-level-ontology.kif 17767-17768
(subclass LandTransportation Transportation) Mid-level-ontology.kif 17766-17766 Land transportation is a subclass of transportation

appearance as argument number 2

(subclass Cycling LandTransportation) Transportation.kif 1931-1931 Cycling is a subclass of land transportation
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 17790-17790 Transport via a road vehicle is a subclass of land transportation
(termFormat ChineseLanguage LandTransportation "陆运") domainEnglishFormat.kif 33295-33295
(termFormat ChineseTraditionalLanguage LandTransportation "陸運") domainEnglishFormat.kif 33294-33294
(termFormat EnglishLanguage LandTransportation "land transportation") domainEnglishFormat.kif 33293-33293


        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 17783-17787
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 17770-17777


    (instance ?SERVICE LandTransportationService)
    (exists (?LAND ?VEHICLE)
            (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 17779-17781

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