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 12231-12233
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 12235-12235
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 12236-12236
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 12234-12234

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

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

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


(secretesSubstance AdrenalGland Adrenaline) Mid-level-ontology.kif 12330-12330
(secretesSubstance AdrenalGland Aldosterone) Mid-level-ontology.kif 12324-12324
(secretesSubstance AdrenalGland Androgen) Mid-level-ontology.kif 12325-12325
(secretesSubstance AdrenalGland Cortisol) Mid-level-ontology.kif 12323-12323
(secretesSubstance Liver Bile) Mid-level-ontology.kif 12032-12032
(secretesSubstance Mitochondrion AdenosineTriphosphate) Mid-level-ontology.kif 10176-10176
(secretesSubstance MucusGland Mucus) Mid-level-ontology.kif 12352-12352
(secretesSubstance MucusMembrane Mucus) Medicine.kif 5669-5669
(secretesSubstance Pancreas Insulin) Mid-level-ontology.kif 12305-12305
(secretesSubstance PituitaryGland ThyroidStimulatingHormone) Mid-level-ontology.kif 12300-12300
(secretesSubstance SalivaryGland Saliva) Mid-level-ontology.kif 12338-12338
(secretesSubstance SweatGland Sweat) Mid-level-ontology.kif 12285-12285
(secretesSubstance TearGland TearSubstance) Mid-level-ontology.kif 12382-12382
(secretesSubstance ThyroidGland ThyroidHormone) Mid-level-ontology.kif 12252-12252
(secretesSubstance ThyroidGland Thyroxine) Medicine.kif 3339-3339
(secretesSubstance WhiteBlookCell Interleukin) Medicine.kif 3748-3748


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