No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14518-14518 |
Announcement e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14583-14583 |
Documentary e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3462-3462 |
Electrocardiogram e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14882-14882 |
HistoricalAccount e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14803-14803 |
Letter e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14766-14766 |
Message e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2319-2319 |
PartyPlatform e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14534-14534 |
PerformanceProgram e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14913-14913 |
ReferenceBook e' uma sub-classe de FactualText |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14770-14770 |
Report e' uma sub-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 |
|