No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21270-21270 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6696-6696 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7301-7301 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7302-7302 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7303-7303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7304-7304 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7305-7305 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21268-21268 |
医药科学 是 生物学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21269-21269 |
医药科学 是 科学 的 subclass |