No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 15-15 |
关联属性 是 Tourniquet 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14108-14108 |
ActiveAgreement 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15227-15227 |
AdjoiningRoom 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1174-1174 |
AllWheelDrive 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30220-30220 |
Alone 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2588-2588 |
BadAirQuality 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30175-30175 |
Bare 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30129-30129 |
Barefoot 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 754-754 |
失去亲人的父亲 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 768-768 |
失去亲人的母亲 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14377-14377 |
Blank 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1700-1700 |
Breakfast 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1844-1844 |
Brunch 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30158-30158 |
Clothed 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30312-30312 |
Cloudy 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29465-29465 |
CoinOperated 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29502-29502 |
Collectible 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27156-27156 |
CommunalAttribute 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1719-1719 |
电脑用户 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1620-1620 |
空容器 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1637-1637 |
容器满了 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30658-30658 |
Dieting 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1788-1788 |
Dinner 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27120-27120 |
Domestic 是 关联属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1877-1877 |
EKGAbnormal 是 关联属性 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |