Pancreas - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12303-12304
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12035-12048
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 12305-12305	secretesSubstance Pancreas and Insulin
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12302-12302	Pancreas e' uma sub-classe de Glandula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12034	Pancreas e' uma sub-classe de Orgao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44222-44222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44221-44221
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44220-44220