| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3030-3030 |
acronym 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Media.kif 3420-3420 |
agentName 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 696-696 |
协议采用日期 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 756-756 |
协议有效期间 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23205-23205 |
别号 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1312-1312 |
经营范围 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13770-13770 |
原子数 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1715-1715 |
属于 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15455-15455 |
作者 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7814-7814 |
气压 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22911-22911 |
得益 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 350-350 |
可以操作 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22864-22864 |
货物 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3777-3777 |
引起 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3821-3821 |
引起主张 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3800-3800 |
导致子类 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2057-2057 |
立法机关 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16751-16751 |
公民 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3573-3573 |
闭上 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1656-1656 |
地区寒冷季节 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10001-10001 |
填满 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1015-1015 |
容纳 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1355-1355 |
包含信息 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1635-1635 |
该地区凉爽的季节 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4198-4198 |
横过 是 非对称关系 的 instance |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
