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. | Mid-level-ontology.kif 14771-14771 | Report e' uma sub-classe de Artigo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14904-14904 | FinancialText e' uma sub-classe de Report |
![]() |