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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CanalSystem
CanalSystem(canal system)

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


(subclass CanalSystem WaterTransportationSystem) Transportation.kif 2939-2939 Canal system is a subclass of water transportation system

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


(termFormat ChineseLanguage CanalSystem "运河系统") domainEnglishFormat.kif 12919-12919
(termFormat ChineseTraditionalLanguage CanalSystem "運河系統") domainEnglishFormat.kif 12918-12918
(termFormat EnglishLanguage CanalSystem "canal system") domainEnglishFormat.kif 12917-12917


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