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
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 13540-13540
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 13538-13538

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


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