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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandTransportation

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 17160-17161
(subclass LandTransportation Transportation) Mid-level-ontology.kif 17159-17159

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


(subclass Cycling LandTransportation) Transportation.kif 1939-1939
(subclass TransportViaRoadVehicle LandTransportation) Mid-level-ontology.kif 17183-17183
(termFormat ChineseLanguage LandTransportation "陆运") domainEnglishFormat.kif 33282-33282
(termFormat ChineseTraditionalLanguage LandTransportation "陸運") domainEnglishFormat.kif 33281-33281
(termFormat EnglishLanguage LandTransportation "land transportation") domainEnglishFormat.kif 33280-33280

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


(=>
    (and
        (instance ?T LandTransportation)
        (path ?T ?P))
    (instance ?P LandTransitway))
Mid-level-ontology.kif 17176-17180
(=>
    (instance ?LAND LandTransportation)
    (exists (?CRAFT ?AREA)
        (and
            (instance ?CRAFT LandVehicle)
            (instance ?AREA LandArea)
            (instrument ?LAND ?CRAFT)
            (located ?CRAFT ?AREA))))
Mid-level-ontology.kif 17163-17170

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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