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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CondominiumBuilding

Sigma KEE - MembershipPending
MembershipPending

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


(instance MembershipPending MemberStatus) Government.kif 2440-2440

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


(termFormat ChineseLanguage MembershipPending "会员保留中") domainEnglishFormat.kif 37025-37025
(termFormat ChineseTraditionalLanguage MembershipPending "會員保留中") domainEnglishFormat.kif 37024-37024
(termFormat EnglishLanguage MembershipPending "membership pending") domainEnglishFormat.kif 37023-37023


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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