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 10130-10132
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 10134-10134 domainSubclass secretesSubstance, 1 and OrganicObject
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 10135-10135 domainSubclass secretesSubstance, 2 and NaturalSubstance
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 10133-10133 instance secretesSubstance and BinaryPredicate

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


(format ChineseLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物质") domainEnglishFormat.kif 2215-2215
(format ChineseTraditionalLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物質") domainEnglishFormat.kif 2214-2214
(format EnglishLanguage secretesSubstance "%2 is %n a secretes substance of %1") domainEnglishFormat.kif 2213-2213
(termFormat ChineseLanguage secretesSubstance "分泌物质") domainEnglishFormat.kif 51734-51734
(termFormat ChineseTraditionalLanguage secretesSubstance "分泌物質") domainEnglishFormat.kif 51733-51733
(termFormat EnglishLanguage secretesSubstance "secretes substance") domainEnglishFormat.kif 51732-51732

antecedent
-------------------------


(=>
    (secretesSubstance ?O ?S)
    (forall (?I1)
        (=>
            (instance ?I1 ?O)
            (exists (?P ?I2)
                (and
                    (instance ?P BiologicalProcess)
                    (eventLocated ?P ?I1)
                    (result ?P ?I2)
                    (instance ?I2 ?S))))))
Mid-level-ontology.kif 10137-10147

consequent
-------------------------


(=>
    (instance ?P Pancreas)
    (secretesSubstance ?P Insulin))
Mid-level-ontology.kif 10174-10176


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners