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 15387-15388
(subclass LandTransportation Transportation) Mid-level-ontology.kif 15386-15386

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


(subclass Cycling LandTransportation) Transportation.kif 1921-1921
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 15410-15410
(termFormat ChineseLanguage LandTransportation "陆运") domainEnglishFormat.kif 33223-33223
(termFormat ChineseTraditionalLanguage LandTransportation "陸運") domainEnglishFormat.kif 33222-33222
(termFormat EnglishLanguage LandTransportation "land transportation") domainEnglishFormat.kif 33221-33221

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


(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 15403-15407
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 15390-15397

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


(=>
    (instance ?SERVICE LandTransportationService)
    (exists (?LAND ?VEHICLE)
        (and
            (instance ?LAND LandTransportation)
            (instance ?VEHICLE LandVehicle)
            (instrument ?LAND ?VEHICLE)
            (subProcess ?LAND ?SERVICE))))
Transportation.kif 3350-3357
(=>
    (instance ?VEHICLE LandVehicle)
    (capability LandTransportation instrument ?VEHICLE))
Mid-level-ontology.kif 15399-15401


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