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 | 域 停, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 434-434 | 例 停 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | 範圍子類 停 and IntentionalProcess |
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 |