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


(documentation secretesSubstance EnglishLanguage "(secretesSubstance ?OBJ ?STUFF) means that the subclass of OrganicObject (either Organism or BodyPart) ?OBJ produces the subclass of Substance ?STUFF.") Mid-level-ontology.kif 12203-12205
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 12207-12207 O argumento numero 1 de secretesSubstance e' uma sub-classe de Objeto Organico
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 12208-12208 O argumento numero 2 de secretesSubstance e' uma sub-classe de NaturalSubstance
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 12206-12206 secretesSubstance e' uma instancia de Predicado Binario

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


(format ChineseLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物质") domainEnglishFormat.kif 2219-2219
(format ChineseTraditionalLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物質") domainEnglishFormat.kif 2218-2218
(format EnglishLanguage secretesSubstance "%2 is %n a secretes substance of %1") domainEnglishFormat.kif 2217-2217
(termFormat ChineseLanguage secretesSubstance "分泌物质") domainEnglishFormat.kif 51837-51837
(termFormat ChineseTraditionalLanguage secretesSubstance "分泌物質") domainEnglishFormat.kif 51836-51836
(termFormat EnglishLanguage secretesSubstance "secretes substance") domainEnglishFormat.kif 51835-51835

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


(=>
    (and
        (secretesSubstance ?O ?S)
        (instance ?I1 ?O))
    (exists (?P ?I2)
        (and
            (instance ?P BiologicalProcess)
            (eventLocated ?P ?I1)
            (result ?P ?I2)
            (instance ?I2 ?S))))
Mid-level-ontology.kif 12210-12219

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


(secretesSubstance AdrenalGland Adrenaline) Mid-level-ontology.kif 12302-12302 secretesSubstance AdrenalGland and Adrenaline
(secretesSubstance AdrenalGland Aldosterone) Mid-level-ontology.kif 12296-12296 secretesSubstance AdrenalGland and Aldosterone
(secretesSubstance AdrenalGland Androgen) Mid-level-ontology.kif 12297-12297 secretesSubstance AdrenalGland and Androgen
(secretesSubstance AdrenalGland Cortisol) Mid-level-ontology.kif 12295-12295 secretesSubstance AdrenalGland and Cortisol
(secretesSubstance Liver Bile) Mid-level-ontology.kif 12004-12004 secretesSubstance Liver and Bile
(secretesSubstance Mitochondrion AdenosineTriphosphate) Mid-level-ontology.kif 10148-10148 secretesSubstance Mitochondrion and AdenosineTriphosphate
(secretesSubstance MucusGland Mucus) Mid-level-ontology.kif 12324-12324 secretesSubstance MucusGland and Mucus
(secretesSubstance MucusMembrane Mucus) Medicine.kif 5669-5669 secretesSubstance MucusMembrane and Mucus
(secretesSubstance Pancreas Insulin) Mid-level-ontology.kif 12277-12277 secretesSubstance Pancreas and Insulin
(secretesSubstance PituitaryGland ThyroidStimulatingHormone) Mid-level-ontology.kif 12272-12272 secretesSubstance PituitaryGland and ThyroidStimulatingHormone
(secretesSubstance SalivaryGland Saliva) Mid-level-ontology.kif 12310-12310 secretesSubstance SalivaryGland and Saliva
(secretesSubstance SweatGland Sweat) Mid-level-ontology.kif 12257-12257 secretesSubstance SweatGland and Sweat
(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 12354-12354 secretesSubstance TearGland and TearSubstance
(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 12224-12224 secretesSubstance ThyroidGland and ThyroidHormone
(secretesSubstance ThyroidGland Thyroxine) Medicine.kif 3339-3339 secretesSubstance ThyroidGland and Thyroxine
(secretesSubstance WhiteBlookCell Interleukin) Medicine.kif 3748-3748 secretesSubstance WhiteBlookCell and Interleukin


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