Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (secretesSubstance ?O ?S)
    (forall (?I1)
            (instance ?I1 ?O)
            (exists (?P ?I2)
                    (instance ?P BiologicalProcess)
                    (eventLocated ?P ?I1)
                    (result ?P ?I2)
                    (instance ?I2 ?S))))))
Mid-level-ontology.kif 10158-10168

Show without tree

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