No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14293-14293 | Audio recording is a subclass of recording |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14394-14394 | Music recording is a subclass of audio recording |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27079-27079 | Voice mail is a subclass of audio recording |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1456-1456 | Audio file is a subclass of audio recording |
![]() |