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 12204-12206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12208-12208 分泌物质 的 1 数量 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12209-12209 分泌物质 的 2 数量 是 天然物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12207-12207 分泌物质 是 二元谓语 的 instance

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 12211-12220

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12303-12303 Adrenaline 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12297-12297 Aldosterone 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12298-12298 Androgen 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12296-12296 Cortisol 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12005-12005 Bile 是 肝 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10149-10149 AdenosineTriphosphate 是 Mitochondrion 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12325-12325 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 12278-12278 胰岛素 是 胰腺 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12273-12273 激素TSH 是 垂体 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12311-12311 Saliva 是 SalivaryGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12258-12258 汗 是 SweatGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12355-12355 泪液 是 TearGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12225-12225 甲状腺激素 是 甲状腺 的 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