deceptiveIdentifier |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23326-23328 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23321-23321 | 欺骗性标识符 的 1 数量 是 有内用物体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23322-23322 | 欺骗性标识符 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23320-23320 | 欺骗性标识符 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23319-23319 | 欺骗性标识符 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23323-23323 | 欺骗性标识符 是 提到 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 696-696 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 695-695 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 694-694 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23324-23324 | 别号 是 欺骗性标识符 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18816-18816 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18815-18815 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18814-18814 |