| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 387-387 |
Ambulatory 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19823-19823 |
悶 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30269-30269 |
Healthy 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19786-19786 |
饥饿 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5640-5640 |
LowBodyTemperature 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23906-23906 |
Menopausal 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19838-19838 |
孕 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19798-19798 |
Thirsty 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19811-19811 |
疲倦 是 生物属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18099-18099 |
生命度属性 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1775-1775 |
AuditoryAcuityAttribute 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18064-18064 |
身体姿势 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18157-18157 |
发育属性 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18233-18233 |
疾病或综合症 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12532-12532 |
指纹 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18278-18278 |
心理属性 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18126-18126 |
性别属性 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19731-19731 |
VisualAcuityAttribute 是 生物属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1257-1257 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1735-1735 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 935-935 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 471-471 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 474-474 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2619-2619 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
