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 12203-12205 | |
(domainSubclass secretesSubstance 1 OrganicObject) | Mid-level-ontology.kif 12207-12207 | |
(domainSubclass secretesSubstance 2 NaturalSubstance) | Mid-level-ontology.kif 12208-12208 | |
(instance secretesSubstance BinaryPredicate) | Mid-level-ontology.kif 12206-12206 |
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 51837-51837 | |
(termFormat ChineseTraditionalLanguage secretesSubstance "分泌物質") | domainEnglishFormat.kif 51836-51836 | |
(termFormat EnglishLanguage secretesSubstance "secretes substance") | domainEnglishFormat.kif 51835-51835 |
antecedent |
(=> (and (secretesSubstance ?O ?S) (instance ?I1 ?O)) (exists (?P ?I2) (and (instance ?P BiologicalProcess) (eventLocated ?P ?I1) (result ?P ?I2) (instance ?I2 ?S)))) |
Mid-level-ontology.kif 12210-12219 |
appearance as argument number 0 |