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

KB Term:			Term intersection

English Word: