No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24529-24529 |
StringConcatenateFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24502-24502 |
StringLengthFn 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24472-24472 |
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 7517-7517 |
年龄 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7735-7735 |
海拔 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17972-17972 |
近似直径 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5964-5964 |
弧衡量 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5360-5360 |
平均 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16964-16964 |
结论 是 单值关系 的 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 8579-8579 |
日期 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7762-7762 |
深度 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7693-7693 |
圆周 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7712-7712 |
距离 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1378-1378 |
有效范围 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21733-21733 |
电子数 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16489-16489 |
父亲 是 单值关系 的 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 18051-18051 |
几何距离 是 单值关系 的 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 6692-6692 |
人的能力 是 单值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11979-11979 |
智商 是 单值关系 的 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 |