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 会员身份关联属性subclass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2454-2454 咨询委员会会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2434-2434 协会成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2458-2458 合伙人会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2452-2452 董事会成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2447-2447 第III类成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2446-2446 CategoryII成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2445-2445 CategoryI成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2453-2453 专员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2437-2437 合作国家会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2448-2448 通讯员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2435-2435 对话伙伴会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2450-2450 执行委员会成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2451-2451 执行委员会成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2430-2430 正式会员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2436-2436 客人身份会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2457-2457 国际或非地区成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2439-2439 会员申请人会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2440-2440 会员保留中会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2456-2456 非永久性地位会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2432-2432 非地区成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2441-2441 非国家参与者会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2431-2431 观察员地位会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2444-2444 PartII成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2443-2443 PartI成员会员身份instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2438-2438 合作伙伴会员身份instance

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