No TPTP formula. May not be expressible in strict first order. | Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13698-13698 | Radiating sound is a subclass of radiating |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1348-1348 | Ringing is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 764-764 | Musical tone is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 770-770 | Radiating sound ultrasonic is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2630-2630 | Echoing is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3051-3051 | Thunder is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13089-13089 | Clapping is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23860-23860 | Barking is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13718-13718 | Making music is a subclass of radiating sound |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13737-13737 | Vocalizing is a subclass of radiating sound |