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

Formal Language: 



KB Term:  Term intersection
English Word: 

  secretesSubstance

 Sigma KEE - secretesSubstance
secretesSubstance

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12231-12233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12235-12235 分泌物质 的 1 数量 是 有机物体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12236-12236 分泌物质 的 2 数量 是 天然物质 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12234-12234 分泌物质 是 二元谓语 的 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 51839-51839
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51838-51838
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51837-51837

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12330-12330 Adrenaline 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12324-12324 Aldosterone 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12325-12325 Androgen 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12323-12323 Cortisol 是 AdrenalGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12032-12032 Bile 是 肝 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10176-10176 AdenosineTriphosphate 是 Mitochondrion 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12352-12352 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 12305-12305 胰岛素 是 胰腺 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12300-12300 激素TSH 是 垂体 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12338-12338 Saliva 是 SalivaryGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12285-12285 汗 是 SweatGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12382-12382 泪液 是 TearGland 的 secretes 物质
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12252-12252 甲状腺激素 是 甲状腺 的 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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