No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22793-22793 |
抽象的部分 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8138-8138 |
之前或同时 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1699-1699 |
coordinates 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17819-17819 |
几何部分 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1874-1874 |
大于或等于 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3293-3293 |
起始列表 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1857-1857 |
少于或等于 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 915-915 |
部分 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 681-681 |
子属性 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1289-1289 |
子集 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14476-14476 |
subLanguage 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3119-3119 |
zi列表 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16742-16742 |
子机构 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3751-3751 |
子过程 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 130-130 |
子类别 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 170-170 |
子关系 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4518-4518 |
包含内容类 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4575-4575 |
包含内容实例 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7931-7931 |
时间部分 是 偏序关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2374-2374 |
全序关系 是 偏序关系 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 901-901 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1009-1009 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 577-577 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 107-107 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |