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

VerbNet: vehicle-51.4.1|chariot, carry-11.4|haul, vehicle-51.4.1|sled, vehicle-51.4.1|sled,


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 15360-15361
s__instance(s__LandTransportation,s__SetOrClass)

s__instance(s__Transportation,s__SetOrClass)

s__subclass(s__LandTransportation,s__Transportation)

Mid-level-ontology.kif 15359-15359 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 1921-1921 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 15383-15383 Transport via a road vehicle is a subclass of land transportation
s__termFormat(s__ChineseLanguage,s__LandTransportation,'"陆运"')

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

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

domainEnglishFormat.kif 33191-33191

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 15376-15380
( ! [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 15363-15370

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 3350-3357
( ! [V__VEHICLE] :
   (s__instance(V__VEHICLE,s__LandVehicle) =>
     s__capability(s__LandTransportation,s__instrument__m,V__VEHICLE)
   )
)

Mid-level-ontology.kif 15372-15374


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners