No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14645-14645 | Serie e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14588-14588 | BroadcastProgram e' uma sub-classe de Serie |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14673-14673 | Periodico e' uma sub-classe de Serie |