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 12422-12424
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 12426-12426 The number 1 argument of secretes substance is a subclass of organic object
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 12427-12427 The number 2 argument of secretes substance is a subclass of natural substance
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 12425-12425 secretes substance is an instance of binary predicate

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 51872-51872
(termFormat ChineseTraditionalLanguage secretesSubstance "分泌物質") domainEnglishFormat.kif 51871-51871
(termFormat EnglishLanguage secretesSubstance "secretes substance") domainEnglishFormat.kif 51870-51870

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

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


(secretesSubstance AdrenalGland Adrenaline) Mid-level-ontology.kif 12521-12521 Epinephrine is a secretes substance of adrenal gland
(secretesSubstance AdrenalGland Aldosterone) Mid-level-ontology.kif 12515-12515 Aldosterone is a secretes substance of adrenal gland
(secretesSubstance AdrenalGland Androgen) Mid-level-ontology.kif 12516-12516 Androgen is a secretes substance of adrenal gland
(secretesSubstance AdrenalGland Cortisol) Mid-level-ontology.kif 12514-12514 Cortisol is a secretes substance of adrenal gland
(secretesSubstance Liver Bile) Mid-level-ontology.kif 12223-12223 Gall is a secretes substance of liver
(secretesSubstance Mitochondrion AdenosineTriphosphate) Mid-level-ontology.kif 10367-10367 ATP is a secretes substance of mitochondria
(secretesSubstance MucusGland Mucus) Mid-level-ontology.kif 12543-12543 Mucus is a secretes substance of mucus gland
(secretesSubstance MucusMembrane Mucus) Medicine.kif 5669-5669 Mucus is a secretes substance of mucosa
(secretesSubstance Pancreas Insulin) Mid-level-ontology.kif 12496-12496 Insulin is a secretes substance of pancreas
(secretesSubstance PituitaryGland ThyroidStimulatingHormone) Mid-level-ontology.kif 12491-12491 Thyroid stimulating hormone is a secretes substance of pituitary gland
(secretesSubstance SalivaryGland Saliva) Mid-level-ontology.kif 12529-12529 Saliva is a secretes substance of salivary gland
(secretesSubstance SweatGland Sweat) Mid-level-ontology.kif 12476-12476 Sweat is a secretes substance of sweat gland
(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 12573-12573 Tear substance is a secretes substance of lacrymal gland
(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 12443-12443 Thyroid hormone is a secretes substance of thyroid gland
(secretesSubstance ThyroidGland Thyroxine) Medicine.kif 3339-3339 Thyroxine is a secretes substance of thyroid gland
(secretesSubstance WhiteBlookCell Interleukin) Medicine.kif 3748-3748 Interleukin is a secretes substance of WhiteBlookCell


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