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
-------------------------


s__documentation(s__LandTransportation,s__EnglishLanguage,'"Any instance of Transportation where the instrument is a LandVehicle."')

Mid-level-ontology.kif 15942-15943
s__instance(s__LandTransportation,s__SetOrClass)

s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__LandTransportation,s__Transportation)

Mid-level-ontology.kif 15941-15941 Land transportation is a subclass of transportation

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


s__instance(s__LandTransportation,s__SetOrClass)

s__instance(s__Cycling,s__SetOrClass)

s__subclass(s__Cycling,s__LandTransportation)

Transportation.kif 1939-1939 Cycling is a subclass of land transportation
s__instance(s__LandTransportation,s__SetOrClass)

s__subclass(s__TransportViaRoadVehicle,s__LandTransportation)

s__instance(s__TransportViaRoadVehicle,s__SetOrClass)

Mid-level-ontology.kif 15965-15965 Transport via a road vehicle is a subclass of land transportation
s__termFormat(s__ChineseLanguage,s__LandTransportation,'"陆运"')

domainEnglishFormat.kif 33282-33282
s__termFormat(s__ChineseTraditionalLanguage,s__LandTransportation,'"陸運"')

domainEnglishFormat.kif 33281-33281
s__termFormat(s__EnglishLanguage,s__LandTransportation,'"land transportation"')

domainEnglishFormat.kif 33280-33280

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


( ! [V__P,V__T] :
   ((s__instance(V__P,s__Object) =>
       (((s__instance(V__T,s__LandTransportation) &
             s__path(V__T,V__P))
         =>
         (s__instance(V__P,s__LandTransitway)))))
   )
)

Mid-level-ontology.kif 15958-15962
( ! [V__LAND] :
   ((s__instance(V__LAND,s__LandTransportation) =>
       (( ? [V__CRAFT, V__AREA] :
           ((s__instance(V__CRAFT,s__LandVehicle) &
               s__instance(V__AREA,s__LandArea) &
               s__instrument(V__LAND,V__CRAFT)
             &
             s__located(V__CRAFT,V__AREA))))))
)
)

Mid-level-ontology.kif 15945-15952

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


( ! [V__SERVICE] :
   ((s__instance(V__SERVICE,s__LandTransportationService) =>
       (( ? [V__LAND, V__VEHICLE] :
           ((s__instance(V__LAND,s__LandTransportation) &
               s__instance(V__VEHICLE,s__LandVehicle) &
               s__instrument(V__LAND,V__VEHICLE)
             &
             s__subProcess(V__LAND,V__SERVICE))))))
)
)

Transportation.kif 3379-3386
( ! [V__VEHICLE] :
   ((s__instance(V__VEHICLE,s__LandVehicle) =>
       (s__capability(s__LandTransportation,s__instrument__m,V__VEHICLE)))
   )
)

Mid-level-ontology.kif 15954-15956


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