MemberFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1764-1765 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1761-1761 | 会员 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1760-1760 | 会员 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1762-1762 | 会员 的 range 是 地位 的实例 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1687-1687 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1686-1686 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1685-1685 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37007-37007 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37006-37006 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37005-37005 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1774-1779 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1831-1835 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1767-1772 | |
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 1827-1829 |
![]() |
![]() |