Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 13801-13803 | |
| (instance secretesSubstance BinaryPredicate) | Mid-level-ontology.kif 13804-13804 | secretes substance is an instance of binary predicate |
| (domainSubclass secretesSubstance 1 OrganicObject) | Mid-level-ontology.kif 13805-13805 | The number 1 argument of secretes substance is a subclass of organic object |
| (domainSubclass secretesSubstance 2 NaturalSubstance) | Mid-level-ontology.kif 13806-13806 | The number 2 argument of secretes substance is a subclass of natural substance |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage secretesSubstance "%2 is %n a secretes substance of %1") | domainEnglishFormat.kif 2221-2221 | |
| (format ChineseTraditionalLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物質") | domainEnglishFormat.kif 2222-2222 | |
| (format ChineseLanguage secretesSubstance "%2 %n 是 %1 的 secretes 物质") | domainEnglishFormat.kif 2223-2223 | |
| (termFormat EnglishLanguage secretesSubstance "secretes substance") | domainEnglishFormat.kif 51832-51832 | |
| (termFormat ChineseTraditionalLanguage secretesSubstance "分泌物質") | domainEnglishFormat.kif 51833-51833 | |
| (termFormat ChineseLanguage secretesSubstance "分泌物质") | domainEnglishFormat.kif 51834-51834 |
| 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 13808-13817 | If X is a secretes substance of Y and Z is an instance of Y, then there exist W, V such that W is an instance of biological process, W is located at Z, V is a result of W, and V is an instance of X |
| appearance as argument number 0 |
|
|
|