| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2160-2161 |
关系 分拆成不相交的 二元关系, 三元关系, 四元关系, 五元关系, 和 不定次元关系 |
| No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 251-251 |
催化剂 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 726-726 |
deviceOS 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1021-1021 |
硬件类型 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17933-17933 |
physicalEnd 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4419-4419 |
recoveryKey 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3862-3862 |
softwareVersion 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29578-29578 |
suffers 是 二元关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2292-2292 |
反对称关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3479-3479 |
二元谓语 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16900-16900 |
经济关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2349-2349 |
非传递关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2249-2249 |
非自反关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2239-2239 |
自反关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2260-2260 |
对称关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2333-2333 |
传递关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2310-2310 |
三分关系 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3359-3359 |
一元函数 是 二元关系 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 892-892 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 986-986 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 568-568 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 98-98 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 101-101 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2253-2253 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
