No TPTP formula. May not be expressible in strict first order. |
Government.kif 1948-1948 |
美国国会 是 立法组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2037-2037 |
立法机关 的 range 是 立法组织 的实例 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1987-1987 |
立法院 是 立法组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1942-1942 |
议会 是 立法组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33917-33917 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33916-33916 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33915-33915 |
|