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 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 434-434 | 停 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 436-436 | 停 的所得值 是 有意图过程 的 subclass |
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 |