No TPTP formula. May not be expressible in strict first order. | Biography.kif 730-740 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1894-1898 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15405-15405 | Texto e' uma sub-classe de Expressao Linguistica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15406-15406 | Texto e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15407-15407 | Texto e' uma sub-classe de Artefato |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 921-921 | JointPublication e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 993-993 | Doctrine e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1025-1025 | ChairmanPublication e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 687-687 | Lyrics e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 698-698 | Paragraph e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7897-7897 | ChristianGospel e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9292-9292 | Prescription e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14447-14447 | MusicText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14499-14499 | Label e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14512-14512 | FormText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14672-14672 | Serie e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14704-14704 | Artigo e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14951-14951 | NarrativeText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1392-1392 | Filme e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15427-15427 | FactualText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15455-15455 | FictionalText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15632-15632 | Resumo e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15679-15679 | Certificado e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3034-3034 | TreatyDocument e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2287-2287 | CalendarText e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4222-4222 | Spam e' uma sub-classe de Texto |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 3012-3012 | LiveTestUpdate e' uma sub-classe de Texto |