| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15422-15429 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15403-15403 | FactualText est une sous-classe de texte |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14518-14518 | Announcement est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14534-14534 | PerformanceProgram est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14583-14583 | Documentary est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14766-14766 | Message est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14770-14770 | Report est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14803-14803 | Letter est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14882-14882 | HistoricalAccount est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14913-14913 | ReferenceBook est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3462-3462 | Electrocardiogram est une sous-classe de FactualText |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2319-2319 | PartyPlatform est une sous-classe de FactualText |
|
|