|
|
| 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 14732-14734 | |
| (subclass Amphibian ColdBloodedVertebrate) | Merge.kif 14731-14731 | Amphibian is a subclass of cold blooded vertebrate |
| appearance as argument number 2 |
|
|
| (disjointDecomposition ColdBloodedVertebrate Amphibian Fish Reptile) | Merge.kif 14722-14722 | Cold blooded vertebrate is disjointly decomposed into amphibian, fish, and reptile |
| (subclass Toad Amphibian) | Mid-level-ontology.kif 13818-13818 | Toad is a subclass of amphibian |
| (termFormat ChineseLanguage Amphibian "两栖动物") | chinese_format.kif 987-987 | Toad is a subclass of amphibian |
| (termFormat EnglishLanguage Amphibian "amphibian") | english_format.kif 1181-1181 | Toad is a subclass of amphibian |
| (termFormat FrenchLanguage Amphibian "amphibien") | french_format.kif 664-664 | Toad is a subclass of amphibian |
| (termFormat Hindi Amphibian "ubhayachara") | terms-hindi.txt 195-195 | Toad is a subclass of amphibian |
| (termFormat ItalianLanguage Amphibian "Anfibio") | terms-it.txt 198-198 | Toad is a subclass of amphibian |
| (termFormat JapaneseLanguage Amphibian "amphibian") | japanese_format.kif 2348-2348 | Toad is a subclass of amphibian |
| (termFormat PortugueseLanguage Amphibian "Anfibio") | portuguese_format.kif 616-616 | Toad is a subclass of amphibian |
| (termFormat cb Amphibian "tigpuyo sa yuta'g tubig") | terms-cb.txt 200-200 | Toad is a subclass of amphibian |
| (termFormat cz Amphibian "amphibian") | terms-cz.txt 232-232 | Toad is a subclass of amphibian |
| (termFormat de Amphibian "Amphibie") | terms-de.txt 491-491 | Toad is a subclass of amphibian |
| (termFormat ro Amphibian "amfibian") | relations-ro.kif 685-685 | Toad is a subclass of amphibian |
| (termFormat tg Amphibian "hayop sa tubig at lupa") | terms-tg.txt 199-199 | Toad is a subclass of amphibian |
| consequent |
|
|
| (=> (secretesToxin ?FROG Batrachotoxin) (subclass ?FROG Amphibian)) |
WMD.kif 313-315 |
|
|
|
|
