Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Canal

 Sigma KEE - Canal
Canal(canal)
Grand_Canal, canal

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


(subclass Canal Waterway) Geography.kif 7193-7193 Canal is a subclass of waterway
(subclass Canal StationaryArtifact) Geography.kif 7194-7194 Canal is a subclass of stationary artifact
(documentation Canal EnglishLanguage "Canal is the subclass of navigable Waterways flowing through an artificial course. Typically, a canal is a Transitway connecting two bodies of water.") Geography.kif 7195-7197 Canal is a subclass of stationary artifact
(externalImage Canal "http://upload.wikimedia.org/wikipedia/commons/4/49/ Birmingham_canals_800.jpg") pictureList.kif 944-944 Canal is a subclass of stationary artifact

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


(termFormat EnglishLanguage Canal "canal") domainEnglishFormat.kif 12901-12901
(termFormat ChineseTraditionalLanguage Canal "運河") domainEnglishFormat.kif 12902-12902
(termFormat ChineseLanguage Canal "运河") domainEnglishFormat.kif 12903-12903

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


(=>
    (instance ?CHANNEL Canal)
    (exists (?WATER1 ?WATER2)
        (and
            (instance ?WATER1 WaterArea)
            (instance ?WATER2 WaterArea)
            (connects ?CHANNEL ?WATER1 ?WATER2))))		 Geography.kif 7199-7205 If X is an instance of canal, then there exist Y, Z such that Y is an instance of water area, Z is an instance of water area, X connects Y, and Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners