| SymbolicString(符号串) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1644-1644 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1338-1338 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 229-229 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 271-271 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | 符号串 是 内容承载物理 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | EmailLocalPartFn 的 range 是 符号串 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3063-3063 | ReverseFn 的 range 是 符号串 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24423-24423 | StringConcatenateFn 的 range 是 符号串 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24367-24367 | SubstringFn 的 range 是 符号串 的实例 |
| 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. | Mid-level-ontology.kif 29844-29844 | AccountNumber 是 符号串 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | AlphaNumericString 是 符号串 的 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. | Merge.kif 1340-1340 | 字符 是 符号串 的 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. | Media.kif 2911-2911 | DecimalDigitString 是 符号串 的 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. | Mid-level-ontology.kif 29855-29855 | InvoiceNumber 是 符号串 的 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. | Mid-level-ontology.kif 24794-24794 | PostalAddressText 是 符号串 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | PurchaseOrderNumber 是 符号串 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2616-2616 | SearchQuery 是 符号串 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19358-19358 | 音节 是 符号串 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24822-24822 | TelecomNumber 是 符号串 的 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. | QoSontology.kif 2047-2047 | 用户名 是 符号串 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 834-834 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 870-870 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 510-510 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5568-5568 | 组成类别函数 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3062-3062 | ReverseFn 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24421-24421 | StringConcatenateFn 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24422-24422 | StringConcatenateFn 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24394-24394 | StringLengthFn 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24364-24364 | SubstringFn 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | abbreviatedDisplayTitle 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27147-27147 | 缩写 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3032-3032 | acronym 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3422-3422 | agentName 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2586-2586 | 组织的目标 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23156-23156 | 别号 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3122-3122 | alternativeTitle 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24530-24530 | canonicalPlaceName 的 3 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4734-4734 | 地区的地址 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4765-4765 | arearyFAX在区域内的数量 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4744-4744 | 地区的尚书邮寄地址 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4755-4755 | 区域内的尚书电话号码 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | codeMapping 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18257-18257 | 注释 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18258-18258 | 注释 的 3 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 901-901 | 组件数据ID 的 5 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3893-3893 | 确认号码 的 2 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27130-27130 | 传统的长名 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27142-27142 | 传统的短名称 的 1 数量 是 符号串 的 instance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24326-24331 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1347-1352 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14715-14717 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3234-3240 |
|
|
|