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. | Merge.kif 13676-13676 | 子類 RadiatingSound and Radiating |
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 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. | Mid-level-ontology.kif 2630-2630 | 子類 回音 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. | Mid-level-ontology.kif 13090-13090 | 子類 拍手 and RadiatingSound |
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. | Merge.kif 13696-13696 | 子類 MakingMusic and RadiatingSound |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13715-13715 | 子類 發聲 and RadiatingSound |