No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14644-14644 | 子類 Series and Text |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14587-14587 | 子類 廣播節目 and Series |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14672-14672 | 子類 Periodical and Series |