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


(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 13535-13537
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13539-13539 Le nombre 1 argument de secretesSubstance est une sous-classe de objet organique
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 13540-13540 Le nombre 2 argument de secretesSubstance est une sous-classe de NaturalSubstance
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 13538-13538 secretesSubstance est une instance de pr�dicat binaire

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


(format ChineseLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物质") domainEnglishFormat.kif 2223-2223
(format ChineseTraditionalLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物質") domainEnglishFormat.kif 2222-2222
(format EnglishLanguage secretesSubstance "%2 is %n a secretes substance of %1") domainEnglishFormat.kif 2221-2221
(termFormat ChineseLanguage secretesSubstance "分泌物质") domainEnglishFormat.kif 51841-51841
(termFormat ChineseTraditionalLanguage secretesSubstance "分泌物質") domainEnglishFormat.kif 51840-51840
(termFormat EnglishLanguage secretesSubstance "secretes substance") domainEnglishFormat.kif 51839-51839

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

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


(secretesSubstance AdrenalGland Adrenaline) Mid-level-ontology.kif 13634-13634 secretesSubstance AdrenalGland and Adrenaline
(secretesSubstance AdrenalGland Aldosterone) Mid-level-ontology.kif 13628-13628 secretesSubstance AdrenalGland and Aldosterone
(secretesSubstance AdrenalGland Androgen) Mid-level-ontology.kif 13629-13629 secretesSubstance AdrenalGland and Androgen
(secretesSubstance AdrenalGland Cortisol) Mid-level-ontology.kif 13627-13627 secretesSubstance AdrenalGland and Cortisol
(secretesSubstance Liver Bile) Mid-level-ontology.kif 13336-13336 secretesSubstance Liver and Bile
(secretesSubstance Mitochondrion AdenosineTriphosphate) Mid-level-ontology.kif 11478-11478 secretesSubstance Mitochondrion and AdenosineTriphosphate
(secretesSubstance MucusGland Mucus) Mid-level-ontology.kif 13656-13656 secretesSubstance MucusGland and Mucus
(secretesSubstance MucusMembrane Mucus) Medicine.kif 5680-5680 secretesSubstance MucusMembrane and Mucus
(secretesSubstance Pancreas Insulin) Mid-level-ontology.kif 13609-13609 secretesSubstance Pancreas and Insulin
(secretesSubstance PituitaryGland ThyroidStimulatingHormone) Mid-level-ontology.kif 13604-13604 secretesSubstance PituitaryGland and ThyroidStimulatingHormone
(secretesSubstance SalivaryGland Saliva) Mid-level-ontology.kif 13642-13642 secretesSubstance SalivaryGland and Saliva
(secretesSubstance SweatGland Sweat) Mid-level-ontology.kif 13589-13589 secretesSubstance SweatGland and Sweat
(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 13686-13686 secretesSubstance TearGland and TearSubstance
(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 13556-13556 secretesSubstance ThyroidGland and ThyroidHormone
(secretesSubstance ThyroidGland Thyroxine) Medicine.kif 3340-3340 secretesSubstance ThyroidGland and Thyroxine
(secretesSubstance WhiteBlookCell Interleukin) Medicine.kif 3751-3751 secretesSubstance WhiteBlookCell and Interleukin


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