| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Sequencia Simbolica e' uma sub-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2410-2410 | SearchQuery e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3350-3350 | AOCnumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | PhysicalAddress e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | DigitalData e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2047-2047 | UserName e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2083-2083 | ComputerPassword e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19482-19482 | Syllable e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24903-24903 | PostalAddressText e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24931-24931 | TelecomNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29952-29952 | AccountNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29963-29963 | InvoiceNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30036-30036 | PurchaseOrderNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1340-1340 | Caracter e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1580-1580 | UnicodeString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | AlphabeticString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2911-2911 | DecimalDigitString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | AlphaNumericString e' uma sub-classe de Sequencia Simbolica |
|
|