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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MemberStatus

Sigma KEE - MemberStatus
MemberStatus(會員身份)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2424-2428
No TPTP formula. May not be expressible in strict first order. Government.kif 2422-2422 子類 會員身份 and RelationalAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2454-2454 諮詢委員會 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2434-2434 協會成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2458-2458 合夥人 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2452-2452 董事會成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2447-2447 第III類成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2446-2446 categoryII成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2445-2445 categoryI成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2453-2453 專員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2437-2437 合作國家 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2448-2448 通訊員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2435-2435 對話夥伴 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2450-2450 執行委員會成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2451-2451 執行委員會成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2430-2430 正式會員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2436-2436 客人身份 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2457-2457 國際或非地區成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2439-2439 會員申請人 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2440-2440 會員保留中 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2456-2456 非永久性地位 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2432-2432 非地區成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2441-2441 非國家參與者 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2431-2431 觀察員地位 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2444-2444 partII成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2443-2443 partI成員 and 會員身份
No TPTP formula. May not be expressible in strict first order. Government.kif 2438-2438 合作夥伴 and 會員身份

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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