| Toad(toad) | | Alytes_cisternasi, anuran, batrachian, frog, midwife_toad, salientian, toad, toad_frog, 蟾蜍 |
| appearance as argument number 1 |
|
|
| (documentation Toad EnglishLanguage "An Amphibian that lacks a Tail and lives at least partially outside of water.") | Mid-level-ontology.kif 10215-10216 | |
| (subclass Toad Amphibian) | Mid-level-ontology.kif 10214-10214 | Toad is a subclass of amphibian |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Toad "蟾蜍") | domainEnglishFormat.kif 58165-58165 | "蟾蜍" is the printable form of toad in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Toad "蟾蜍") | domainEnglishFormat.kif 58164-58164 | "蟾蜍" is the printable form of toad in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Toad "toad") | domainEnglishFormat.kif 58163-58163 | "toad" is the printable form of toad in english language |
| antecedent |
|
|
| (=> (instance ?A Toad) (not (exists (?T) (and (instance ?T Tail) (part ?T ?A))))) |
Mid-level-ontology.kif 10218-10224 |
|
|
|
|