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 | The number 1 argument of legislative branch is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2001-2001 | The number 2 argument of legislative branch is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1999-1999 | legislative branch is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1998-1998 | legislative branch is an instance of binary predicate |
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 |
|