No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2232-2232 |
二元关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2558-2558 |
可继承的关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2671-2671 |
有意图的关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 965-965 |
基于PPP的经济估值 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2223-2223 |
部分值关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3339-3339 |
谓语 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2564-2564 |
概率关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2861-2861 |
四元关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2868-2868 |
五元关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3533-3533 |
延伸数量关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2176-2176 |
单值关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2656-2656 |
空间关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2663-2663 |
时间关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2854-2854 |
三元关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2194-2194 |
总值关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3522-3522 |
不定次元关系 是 关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 888-888 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 978-978 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 564-564 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 94-94 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 97-97 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2249-2249 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 99-99 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |