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 1647-1647

appearance as argument number 2

(termFormat ChineseLanguage Trail "线索") domainEnglishFormat.kif 58733-58733
(termFormat ChineseTraditionalLanguage Trail "線索") domainEnglishFormat.kif 58732-58732
(termFormat EnglishLanguage Trail "trail") domainEnglishFormat.kif 58731-58731

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