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 LandTransportation est une sous-classe de transporter

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


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

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