TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DomesticCat DomesticAnimal)	Mid-level-ontology.kif 22327-22327	Domestic cat is a subclass of domestic animal
(subclass DomesticCat Feline)	Mid-level-ontology.kif 22328-22328	Domestic cat is a subclass of feline
(documentation DomesticCat EnglishLanguage "A variety of Feline which has been domesticated by selective breeding.")	Mid-level-ontology.kif 22329-22330	Domestic cat is a subclass of feline

appearance as argument number 2

(subclass Kitten DomesticCat)	Mid-level-ontology.kif 22332-22332	Kitten is a subclass of domestic cat
(termFormat EnglishLanguage DomesticCat "domestic cat")	domainEnglishFormat.kif 20130-20130	Kitten is a subclass of domestic cat
(termFormat ChineseTraditionalLanguage DomesticCat "家貓")	domainEnglishFormat.kif 20131-20131	Kitten is a subclass of domestic cat
(termFormat ChineseLanguage DomesticCat "家猫")	domainEnglishFormat.kif 20132-20132	Kitten is a subclass of domestic cat

antecedent

(=>
    (and
        (instance ?C DomesticCat)
        (sheddingBodyPart ?C ?H))
    (instance ?H Hair))

If X is an instance of domestic cat and X is Removing Y from its body, then Y is an instance of hair