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 3169-3169 | 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 19455-19455 | Syllable e' uma sub-classe de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | PostalAddressText e' uma sub-classe de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber e' uma sub-classe de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | AccountNumber e' uma sub-classe de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29939-29939 | InvoiceNumber e' uma sub-classe de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30012-30012 | 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 |