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 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2001-2001 | 域 立法部門, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1999-1999 | 例 立法部門 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1998-1998 | 例 立法部門 and BinaryPredicate |
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 |