No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2261-2261 |
对称关系 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3276-3276 |
keyName 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23377-23377 |
法定监护人 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4070-4070 |
位于 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14348-14348 |
stored 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24385-24385 |
subString 是 反对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2275-2275 |
非对称关系 是 反对称关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2366-2366 |
偏序关系 是 反对称关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 897-897 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 573-573 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 106-106 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 525-525 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 594-594 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 107-107 |
|