ImmediatePastFn
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3333-3334 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13677-13679 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 745-745 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13676-13676 | 放射声音 是 辐射 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23861-23861 | 吠 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13090-13090 | 拍手 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2630-2630 | 回音 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13696-13696 | 制作音乐 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 764-764 | 音调 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 770-770 | 辐射声超声波 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1348-1348 | 铃声 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3051-3051 | 雷 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13715-13715 | 发声 是 放射声音 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1224-1224 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1669-1669 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 902-902 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 435-435 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 438-438 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2586-2586 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 854-854 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 474-474 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 923-923 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 439-439 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13728-13728 | loudness 的 1 数量 是 放射声音 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13681-13688 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13610-13624 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3447-3476 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25821-25838 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3710-3751 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25530-25544 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1209-1223 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14455-14470 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14314-14320 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2626-2628 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 480-482 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1387-1407 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26250-26260 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14306-14312 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 258-284 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26053-26074 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26104-26122 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26039-26046 |