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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WaterTransportationSystem
WaterTransportationSystem

appearance as argument number 1
-------------------------


(documentation WaterTransportationSystem EnglishLanguage "A WaterTransportationSystem is the subclass of TransitSystem whose routes are Waterway.") Transportation.kif 3483-3484
(externalImage WaterTransportationSystem "http://upload.wikimedia.org/wikipedia/ commons/ f/ f5/ Bugsworth_058069.jpg") pictureList.kif 976-976
(subclass WaterTransportationSystem TransitSystem) Transportation.kif 3482-3482 WaterTransportationSystemTransitSystemsubclass では

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


(subclass CanalSystem WaterTransportationSystem) Transportation.kif 3492-3492 CanalSystemWaterTransportationSystemsubclass では
(termFormat ChineseLanguage WaterTransportationSystem "水运系统") domainEnglishFormat.kif 62493-62493 CanalSystemWaterTransportationSystemsubclass では
(termFormat ChineseTraditionalLanguage WaterTransportationSystem "水運系統") domainEnglishFormat.kif 62492-62492 CanalSystemWaterTransportationSystemsubclass では
(termFormat EnglishLanguage WaterTransportationSystem "water transportation system") domainEnglishFormat.kif 62491-62491 CanalSystemWaterTransportationSystemsubclass では

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


(=>
    (and
        (instance ?W WaterTransportationSystem)
        (routeInSystem ?W ?P))
    (instance ?P Waterway))
Transportation.kif 3486-3490


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