TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Toad Amphibian)	Mid-level-ontology.kif 14108-14108	Toad is a subclass of amphibian
(documentation Toad EnglishLanguage "An Amphibian that lacks a Tail and lives at least partially outside of water.")	Mid-level-ontology.kif 14109-14110	Toad is a subclass of amphibian

appearance as argument number 2

(termFormat EnglishLanguage Toad "toad")	domainEnglishFormat.kif 58225-58225
(termFormat ChineseTraditionalLanguage Toad "蟾蜍")	domainEnglishFormat.kif 58226-58226
(termFormat ChineseLanguage Toad "蟾蜍")	domainEnglishFormat.kif 58227-58227

antecedent

(=>
    (instance ?A Toad)
    (not
        (exists (?T)
            (and
                (instance ?T Tail)
                (part ?T ?A)))))

If X is an instance of toad, then there doesn't exist Y such that Y is an instance of tail and Y is a part of X