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 10151-10153
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 10155-10155
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 10156-10156
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 10154-10154

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 10158-10168

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


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


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