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

Formal Language: 



KB Term:  Term intersection
English Word: 

  secretesSubstance

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

Show without tree


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