| 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 10130-10132 | |
| (domainSubclass secretesSubstance 1 OrganicObject) | Mid-level-ontology.kif 10134-10134 | |
| (domainSubclass secretesSubstance 2 NaturalSubstance) | Mid-level-ontology.kif 10135-10135 | |
| (instance secretesSubstance BinaryPredicate) | Mid-level-ontology.kif 10133-10133 |
| 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 10137-10147 |
| consequent |
|
|
| (=> (instance ?P Pancreas) (secretesSubstance ?P Insulin)) |
Mid-level-ontology.kif 10174-10176 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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