resultType |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1685-1686 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1682-1682 | O argumento numero 1 de resultType e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1683-1683 | O argumento numero 2 de resultType e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1681-1681 | resultType e' uma instancia de Predicado Binario |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2159-2159 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2158-2158 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2157-2157 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49802-49802 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49801-49801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49800-49800 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1688-1693 |
![]() |
![]() |