No TPTP formula. May not be expressible in strict first order.	Government.kif 2491-2491	永久地位 是 会员身份 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2469-2469	区域成员 是 会员身份 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2496-2496	签字会员 是 会员身份 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2478-2478	分局成员 是 会员身份 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2485-2485	订户成员 是 会员身份 的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2495-2495	暂停会员 是 会员身份 的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37031-37031
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37030-37030
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37029-37029

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