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 | The number 1 argument of member is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1760-1760 | Member is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1762-1762 | The range of member is an instance of 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 |
|