No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15190-15190 |
子類 BoneTissue and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8708-8708 |
子類 膽固醇 and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21632-21632 |
子類 蜜糖 and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14876-14876 |
子類 Meat and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15225-15225 |
子類 MuscleTissue and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9457-9457 |
子類 汗 and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9446-9446 |
子類 肌腱 and 動物物質 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7620-7620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7619-7619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7618-7618 |
|