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 | O argumento numero 1 de MemberRoleFn e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1783-1783 | O argumento numero 2 de MemberRoleFn e' uma instancia de Posicao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1781-1781 | MemberRoleFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | O contra-dominio de MemberRoleFn e' uma instancia de Posicao |
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 |
|