TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: