| Amphibian | |
| appearance as argument number 1 |
|
|
| (documentation Amphibian ChineseLanguage "这是一种冷血、表皮光滑的 Vertebrate，它们用腮呼吸，并且 典型的孵化水生幼虫，成年的 Amphibian 用 Lung 呼吸。") | chinese_format.kif 3414-3415 | |
| (documentation Amphibian EnglishLanguage "A cold-blooded, smooth-skinned Vertebrate which characteristically hatches as an aquatic larva, breathing by gills. When mature, the Amphibian breathes with Lungs.") | Merge.kif 13513-13515 | |
| (subclass Amphibian ColdBloodedVertebrate) | Merge.kif 13512-13512 |
| appearance as argument number 2 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 13503-13503 | |
| (subclass Toad Amphibian) | Mid-level-ontology.kif 10210-10210 | |
| (termFormat ChineseLanguage Amphibian "两栖动物") | chinese_format.kif 987-987 | |
| (termFormat EnglishLanguage Amphibian "amphibian") | english_format.kif 1186-1186 |
| consequent |
|
|
| (=> (secretesToxin ?FROG Batrachotoxin) (subclass ?FROG Amphibian)) |
WMD.kif 313-315 |
|
|
|