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 12276-12277
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12008-12021
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 12278-12278	Insulin is a secretes substance of pancreas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12275-12275	Pancreas is a subclass of gland
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12007-12007	Pancreas is a subclass of organ

appearance as argument number 2

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