StopFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 431-433 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 435-435 | O argumento numero 1 de StopFn e' uma instancia de Processo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 434-434 | StopFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | Os valores retornados por StopFn sao as sub-classes de Processo Intencional |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2371-2371 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2370-2370 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2369-2369 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55476-55476 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55475-55475 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55474-55474 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 438-443 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3416-3426 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25480-25487 |