No TPTP formula. May not be expressible in strict first order. |
Weather.kif 980-980 |
期间平均温度 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3344-3344 |
税前收入 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1524-1524 |
beliefGroupPercentInRegion 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1037-1037 |
基准表现 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4151-4151 |
之间 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1905-1905 |
竞标价格 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 912-912 |
生化剂解毒剂 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10701-10701 |
bodyAngle 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10375-10375 |
breathingRate 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 722-722 |
browserID 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 4089-4089 |
购买电量 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29938-29938 |
buys 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1837-1837 |
职位候选人 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24575-24575 |
canonicalPlaceName 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3901-3901 |
能够 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 780-780 |
capacityByArrangement 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1526-1526 |
期间面积的资本支出 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4732-4732 |
地区的地址 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4763-4763 |
arearyFAX在区域内的数量 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4742-4742 |
地区的尚书邮寄地址 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4753-4753 |
区域内的尚书电话号码 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1551-1551 |
国家元首 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 817-817 |
chromosomeSetCount 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16807-16807 |
classmate 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3469-3469 |
收盘价 是 三元谓语 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |