No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14519-14519 |
Announcement est une sous-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14584-14584 |
Documentary 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. |
Mid-level-ontology.kif 14883-14883 |
HistoricalAccount est une sous-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14804-14804 |
Letter est une sous-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14767-14767 |
Message 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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14535-14535 |
PerformanceProgram est une sous-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14914-14914 |
ReferenceBook est une sous-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14771-14771 |
Report est une sous-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23146-23146 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23145-23145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23144-23144 |
|