No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2459-2459 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2458-2458 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2457-2457 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3153-3153 |
abbreviatedDisplayTitle 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
成就 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3324-3324 |
税后收入 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 542-542 |
ageOfMajorityForProcess 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 728-728 |
协议修订日期 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2240-2240 |
按等级划分的农产品类型 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31362-31362 |
allowableValue 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3121-3121 |
alternativeTitle 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7700-7700 |
海拔 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7589-7589 |
amount 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 648-648 |
到期金额 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1496-1496 |
期间面积的年度支出 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1468-1468 |
期间面积的年收入 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 148-148 |
appointedPosition 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22927-22927 |
所负责的地区 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2434-2434 |
与地位相关联 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2122-2122 |
attitudeForFormula 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2115-2115 |
attitudeForObject 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3810-3810 |
可用余额 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3833-3833 |
可用现金 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1219-1219 |
期间平均降水量 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1300-1300 |
期间平均降雨量 是 三元谓语 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |