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 10126-10128
(domainSubclass secretesSubstance 1 OrganicObject) Mid-level-ontology.kif 10130-10130
(domainSubclass secretesSubstance 2 NaturalSubstance) Mid-level-ontology.kif 10131-10131
(instance secretesSubstance BinaryPredicate) Mid-level-ontology.kif 10129-10129

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

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 10133-10143

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


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


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