No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12275-12276 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12007-12020 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7493-7493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7494-7494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7495-7495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7496-7496 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6752-6752 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7497-7497 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7498-7498 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7499-7499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12277-12277 |
secretesSubstance Pancreas and Insulin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12274-12274 |
Pancreas e' uma sub-classe de Glandula |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12006-12006 |
Pancreas e' uma sub-classe de Orgao |