No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24471-24471 |
StringConcatenateFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24444-24444 |
StringLengthFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24414-24414 |
SubstringFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1453-1453 |
绝对高度 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7516-7516 |
年龄 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7721-7721 |
海拔 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17944-17944 |
近似直径 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5963-5963 |
弧衡量 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5359-5359 |
平均 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16915-16915 |
结论 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2875-2875 |
货币类型 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8565-8565 |
日期 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7748-7748 |
深度 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7679-7679 |
圆周 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7698-7698 |
距离 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1385-1385 |
有效范围 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21705-21705 |
电子数 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16440-16440 |
父亲 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 33-33 |
病毒的遗传基质 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17994-17994 |
几何距离 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 296-296 |
有维度 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 303-303 |
有变数 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6697-6697 |
人的能力 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11951-11951 |
智商 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 22-22 |
入侵病毒 是 单值关系 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |