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 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1783-1783 | 成员角色 的 2 数量 是 地位 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1781-1781 | 成员角色 是 二元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | 成员角色 的 range 是 地位 的实例 |
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 |