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 19319-19320
(subclass LandTransportation Transportation) Mid-level-ontology.kif 19318-19318

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


(subclass Cycling LandTransportation) Transportation.kif 2071-2071
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 19342-19342
(termFormat ChineseLanguage LandTransportation "陆运") domainEnglishFormat.kif 33306-33306
(termFormat ChineseTraditionalLanguage LandTransportation "陸運") domainEnglishFormat.kif 33305-33305
(termFormat EnglishLanguage LandTransportation "land transportation") domainEnglishFormat.kif 33304-33304

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


(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 19335-19339
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 19322-19329

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


(=>
    (instance ?SERVICE LandTransportationService)
    (exists (?LAND ?VEHICLE)
        (and
            (instance ?LAND LandTransportation)
            (instance ?VEHICLE LandVehicle)
            (instrument ?LAND ?VEHICLE)
            (subProcess ?LAND ?SERVICE))))
Transportation.kif 4515-4522
(=>
    (instance ?VEHICLE LandVehicle)
    (capability LandTransportation instrument ?VEHICLE))
Mid-level-ontology.kif 19331-19333


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