Toad |
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 12493-12494 | |
(subclass Toad Amphibian) | Mid-level-ontology.kif 12492-12492 |
appearance as argument number 2 |
(termFormat ChineseLanguage Toad "蟾蜍") | domainEnglishFormat.kif 58226-58226 | |
(termFormat ChineseTraditionalLanguage Toad "蟾蜍") | domainEnglishFormat.kif 58225-58225 | |
(termFormat EnglishLanguage Toad "toad") | domainEnglishFormat.kif 58224-58224 |
antecedent |
(=> (instance ?A Toad) (not (exists (?T) (and (instance ?T Tail) (part ?T ?A))))) |
Mid-level-ontology.kif 12496-12502 |