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 | The number 1 argument of stop is an instance of process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 434-434 | Stop is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | The values returned by stop are subclasses of intentional process |
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 25481-25488 |
|