MemberRoleFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1786-1787 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1782-1782 | The number 1 argument of member role is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1783-1783 | The number 2 argument of member role is an instance of position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1781-1781 | Member role is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | The range of member role is an instance of position |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1691-1691 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1690-1690 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1689-1689 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37013-37013 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37012-37012 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37011-37011 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1789-1795 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1797-1803 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1806-1812 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1814-1816 |
|