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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PartnersForCooperation
PartnersForCooperation(partners for cooperation)

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


s__instance(s__PartnersForCooperation,s__MemberStatus)

s__instance(s__MemberStatus,s__Class)

Government.kif 2460-2460 Partners for cooperation is an instance of member status

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


s__termFormat(s__ChineseLanguage,s__PartnersForCooperation,'"合作伙伴"')

domainEnglishFormat.kif 44563-44563
s__termFormat(s__ChineseTraditionalLanguage,s__PartnersForCooperation,'"合作夥伴"')

domainEnglishFormat.kif 44562-44562
s__termFormat(s__EnglishLanguage,s__PartnersForCooperation,'"partners for cooperation"')

domainEnglishFormat.kif 44561-44561


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