Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| secretesToxin |
| appearance as argument number 1 |
|
| (instance secretesToxin BinaryPredicate) | WMD.kif 978-978 | secretes toxin is an instance of binary predicate |
| (domainSubclass secretesToxin 1 Organism) | WMD.kif 979-979 | The number 1 argument of secretes toxin is a subclass of organism |
| (domainSubclass secretesToxin 2 Toxin) | WMD.kif 980-980 | The number 2 argument of secretes toxin is a subclass of toxin |
| (documentation secretesToxin EnglishLanguage "(secretesToxin ?ORGANISM ?TOXIN) means that the subclass of Organism ?ORGANISM produces the subclass of Toxin ?TOXIN.") | WMD.kif 981-982 | The number 2 argument of secretes toxin is a subclass of toxin |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage secretesToxin "%2 is %n a secretes toxin of %1") | domainEnglishFormat.kif 2225-2225 | |
| (format ChineseTraditionalLanguage secretesToxin "%2 %n 是 %1 的 secretes 毒素") | domainEnglishFormat.kif 2226-2226 | |
| (format ChineseLanguage secretesToxin "%2 %n 是 %1 的 secretes 毒素") | domainEnglishFormat.kif 2227-2227 | |
| (termFormat EnglishLanguage secretesToxin "secretes toxin") | domainEnglishFormat.kif 51838-51838 | |
| (termFormat ChineseTraditionalLanguage secretesToxin "分泌毒素") | domainEnglishFormat.kif 51839-51839 | |
| (termFormat ChineseLanguage secretesToxin "分泌毒素") | domainEnglishFormat.kif 51840-51840 |
| antecedent |
|
|
| (=> (secretesToxin ?FROG Batrachotoxin) (subclass ?FROG Amphibian)) |
WMD.kif 308-310 | If batrachotoxin is a secretes toxin of X, then X is a subclass of amphibian |
| (=> (secretesToxin ?ORGANISM ?TOXIN) (forall (?INSTANCE1) (=> (instance ?INSTANCE1 ?ORGANISM) (exists (?PROCESS ?INSTANCE2) (and (instance ?PROCESS BiologicalProcess) (experiencer ?PROCESS ?INSTANCE1) (result ?PROCESS ?INSTANCE2) (instance ?INSTANCE2 ?TOXIN)))))) |
WMD.kif 984-994 | If X is a secretes toxin of Y, then For all AutonomousAgent Z: if Z is an instance of Y, then there exist W, V such that W is an instance of biological process, Z experiences W, V is a result of W, and V is an instance of X |
| appearance as argument number 0 |
|
|
|