RadiatingSound |
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 | 子類 RadiatingSound and Radiating |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23861-23861 | 子類 吠 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13090-13090 | 子類 拍手 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2630-2630 | 子類 回音 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13696-13696 | 子類 MakingMusic and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 764-764 | 子類 音調 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 770-770 | 子類 輻射聲超聲波 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1348-1348 | 子類 鈴聲 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3051-3051 | 子類 雷 and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13715-13715 | 子類 發聲 and RadiatingSound |
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 and RadiatingSound |
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 |