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 | 域 成員角色, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1783-1783 | 域 成員角色, 2 and Position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1781-1781 | 例 成員角色 and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | 範圍 成員角色 and 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 |
|