| 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 15359-15359 | Texto e' uma sub-classe de Expressao Linguistica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15360-15360 | Texto e' uma sub-classe de Objeto Representendo Conteudo Abstrato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15361-15361 | 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 694-694 | Lyrics e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 705-705 | Paragraph e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7870-7870 | ChristianGospel e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9265-9265 | Prescription e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14420-14420 | MusicText e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14472-14472 | Label e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14485-14485 | FormText e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14645-14645 | Serie e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14677-14677 | Artigo e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14924-14924 | 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 15381-15381 | FactualText e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15409-15409 | FictionalText e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15586-15586 | Resumo e' uma sub-classe de Texto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15633-15633 | 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 |
|
|