No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12250-12251 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6924-6924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8089-8089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8090-8090 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8091-8091 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8092-8092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8093-8093 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8094-8094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8095-8095 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8096-8096 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8086-8086 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8097-8097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8087-8087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8088-8088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12252-12252 |
secretesSubstance ThyroidGland and ThyroidHormone |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3339-3339 |
secretesSubstance ThyroidGland and Thyroxine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12249-12249 |
ThyroidGland est une sous-classe de glande |