No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14804-14804 | Letter is a subclass of factual text |
No TPTP formula. May not be expressible in strict first order. | Media.kif 953-953 | Letter is a subclass of correspondence |
No TPTP formula. May not be expressible in strict first order. | Media.kif 954-954 | Letter is a subclass of text document |