legislativeBranch |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2003-2005 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2000-2000 | 立法部门 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2001-2001 | 立法部门 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1999-1999 | 立法部门 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1998-1998 | 立法部门 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1467-1467 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1466-1466 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1465-1465 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33905-33905 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33904-33904 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33903-33903 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1977-1985 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2023-2027 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2017-2021 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2029-2033 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2042-2044 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2013-2015 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2007-2011 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2050-2054 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2046-2048 |
|