No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12257-12257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7572-7572 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6769-6769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7573-7573 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7574-7574 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7575-7575 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7576-7576 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7577-7577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12300-12300 |
secretesSubstance PituitaryGland and ThyroidStimulatingHormone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12256-12256 |
PituitaryGland est une sous-classe de glande |