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 |
子類 醫藥科學 and 科學 |