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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Trail

appearance as argument number 1

(externalImage Trail " Autumn_mountain_trail.jpg") pictureList.kif 2041-2041
(externalImage Trail " Berkeley_trail.jpg") pictureList.kif 2411-2411
(subclass Trail LandTransitway) Transportation.kif 1632-1632

appearance as argument number 2

(termFormat ChineseLanguage Trail "线索") domainEnglishFormat.kif 58684-58684
(termFormat ChineseTraditionalLanguage Trail "線索") domainEnglishFormat.kif 58683-58683
(termFormat EnglishLanguage Trail "trail") domainEnglishFormat.kif 58682-58682

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