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 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1760-1760 | 例 會員 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1762-1762 | 範圍 會員 and Position |
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 |
|