| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2087-2087 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2086-2086 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2085-2085 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14060-14060 |
agreementClause 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29773-29773 |
beforeOnPath 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4172-4172 |
在路径之间 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Dining.kif 912-912 |
capabilityDuring 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2682-2682 |
能够在位置 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4443-4443 |
外交使团团长 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 645-645 |
比较区域 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 223-223 |
concentration 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 4455-4455 |
外交代表担任职务 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2025-2025 |
来自时期的电力部分 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2518-2518 |
出口合作伙伴按期间分数 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2488-2488 |
出口合作伙伴按期间排名 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2963-2963 |
grossMerchandiseBoughtInPeriod 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2992-2992 |
grossMerchandiseSoldInPeriod 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2711-2711 |
按期间分数进口合作伙伴 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2681-2681 |
按期间排名的进口伙伴 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1385-1385 |
按职业期间划分的劳动力比例 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16963-16963 |
货币工资 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Justice.kif 30-30 |
在适当的时候观察 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 197-197 |
priceRange 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 326-326 |
publishedPrice 是 四元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 447-447 |
rentalPrice 是 四元谓语 的 instance |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
QuaternaryPredicate