Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - secretesSubstance
secretesSubstance

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12203-12205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12207-12207 域子類 分泌物質, 1 and OrganicObject
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12208-12208 域子類 分泌物質, 2 and 天然物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12206-12206 例 分泌物質 and BinaryPredicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2219-2219
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2218-2218
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2217-2217
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51837-51837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51836-51836
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51835-51835

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12210-12219

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12302-12302 Adrenaline 是 AdrenalGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12296-12296 Aldosterone 是 AdrenalGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12297-12297 Androgen 是 AdrenalGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12295-12295 Cortisol 是 AdrenalGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12004-12004 Bile 是 肝 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10148-10148 AdenosineTriphosphate 是 Mitochondrion 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12324-12324 Mucus 是 MucusGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5669-5669 Mucus 是 MucusMembrane 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12277-12277 胰島素 是 胰腺 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12272-12272 激素TSH 是 垂體 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12310-12310 Saliva 是 SalivaryGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12257-12257 汗 是 SweatGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12354-12354 淚液 是 TearGland 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12224-12224 甲狀腺激素 是 甲狀腺 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3339-3339 Thyroxine 是 甲狀腺 的 secretes 物質
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3748-3748 Interleukin 是 WhiteBlookCell 的 secretes 物質


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners