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 13529-13531
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 13533-13533 Le nombre 1 argument de secretesSubstance est une sous-classe de objet organique
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 13534-13534 Le nombre 2 argument de secretesSubstance est une sous-classe de NaturalSubstance
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 13532-13532 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 13536-13545

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


(secretesSubstance AdrenalGland Adrenaline) Mid-level-ontology.kif 13628-13628 secretesSubstance AdrenalGland and Adrenaline
(secretesSubstance AdrenalGland Aldosterone) Mid-level-ontology.kif 13622-13622 secretesSubstance AdrenalGland and Aldosterone
(secretesSubstance AdrenalGland Androgen) Mid-level-ontology.kif 13623-13623 secretesSubstance AdrenalGland and Androgen
(secretesSubstance AdrenalGland Cortisol) Mid-level-ontology.kif 13621-13621 secretesSubstance AdrenalGland and Cortisol
(secretesSubstance Liver Bile) Mid-level-ontology.kif 13330-13330 secretesSubstance Liver and Bile
(secretesSubstance Mitochondrion AdenosineTriphosphate) Mid-level-ontology.kif 11472-11472 secretesSubstance Mitochondrion and AdenosineTriphosphate
(secretesSubstance MucusGland Mucus) Mid-level-ontology.kif 13650-13650 secretesSubstance MucusGland and Mucus
(secretesSubstance MucusMembrane Mucus) Medicine.kif 5680-5680 secretesSubstance MucusMembrane and Mucus
(secretesSubstance Pancreas Insulin) Mid-level-ontology.kif 13603-13603 secretesSubstance Pancreas and Insulin
(secretesSubstance PituitaryGland ThyroidStimulatingHormone) Mid-level-ontology.kif 13598-13598 secretesSubstance PituitaryGland and ThyroidStimulatingHormone
(secretesSubstance SalivaryGland Saliva) Mid-level-ontology.kif 13636-13636 secretesSubstance SalivaryGland and Saliva
(secretesSubstance SweatGland Sweat) Mid-level-ontology.kif 13583-13583 secretesSubstance SweatGland and Sweat
(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 13680-13680 secretesSubstance TearGland and TearSubstance
(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 13550-13550 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