No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | 符号串 是 内容承载物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2410-2410 | SearchQuery 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | AOCnumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | 实际地址 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | 数字数据 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2047-2047 | 用户名 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2083-2083 | 电脑密码 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19455-19455 | 音节 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | PostalAddressText 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | AccountNumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29939-29939 | InvoiceNumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30012-30012 | PurchaseOrderNumber 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1340-1340 | 字符 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1580-1580 | UnicodeString 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | AlphabeticString 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2911-2911 | DecimalDigitString 是 符号串 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | AlphaNumericString 是 符号串 的 subclass |