SymbolicString(符号串) |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3614-3614 | 货币代码 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 879-879 | dataID 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3686-3686 | 一天的电话 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3143-3143 | displayTitle 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 371-371 | 文档 的 3 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3007-3007 | 电子邮件地址 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3726-3726 | 傍晚的电话 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 678-678 | externalImage 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14723-14723 | 姓 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2206-2206 | filename 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4778-4778 | 国旗描述 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4786-4786 | 国旗图像 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24629-24629 | floorCode 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 382-382 | 格式 的 3 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3288-3288 | fullName 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3302-3302 | fullNameIndexOrder 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14743-14743 | 给予的名称 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3193-3193 | groupingTitle 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1022-1022 | 硬件类型 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3437-3437 | humanName 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24372-24372 | inString 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 436-436 | 互联网国家代码 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3279-3279 | keyName 的 1 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3280-3280 | keyName 的 2 数量 是 符号串 的 instance |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 41-41 | 词库 的 3 数量 是 符号串 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |