DomesticCat - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DomesticCat DomesticAnimal)	Mid-level-ontology.kif 22383-22383	Domestic cat is a subclass of domestic animal
(subclass DomesticCat Feline)	Mid-level-ontology.kif 22384-22384	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 22385-22386	Domestic cat is a subclass of feline

appearance as argument number 2

(subclass Kitten DomesticCat)	Mid-level-ontology.kif 22388-22388	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