No TPTP formula. May not be expressible in strict first order.	Government.kif 2491-2491	例 永久地位 and 會員身份
No TPTP formula. May not be expressible in strict first order.	Government.kif 2469-2469	例 區域成員 and 會員身份
No TPTP formula. May not be expressible in strict first order.	Government.kif 2496-2496	例 簽字會員 and 會員身份
No TPTP formula. May not be expressible in strict first order.	Government.kif 2478-2478	例 分局成員 and 會員身份
No TPTP formula. May not be expressible in strict first order.	Government.kif 2485-2485	例 訂戶成員 and 會員身份
No TPTP formula. May not be expressible in strict first order.	Government.kif 2495-2495	例 暫停會員 and 會員身份
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