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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Lost

appearance as argument number 1

(contraryAttribute Lost Won) Mid-level-ontology.kif 19482-19482 丢失韩元 的相反
(documentation Lost EnglishLanguage "The ContestAttribute that applies to a Contest participant who has lost the Contest.") Mid-level-ontology.kif 19483-19484
(instance Lost ContestAttribute) Mid-level-ontology.kif 19481-19481 丢失比赛属性instance

appearance as argument number 2

(termFormat ChineseLanguage Lost "丢失") domainEnglishFormat.kif 35081-35081
(termFormat ChineseTraditionalLanguage Lost "丟失") domainEnglishFormat.kif 35080-35080
(termFormat EnglishLanguage Lost "lost") domainEnglishFormat.kif 35079-35079

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