TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Rooster Chicken)	Mid-level-ontology.kif 22487-22487	Rooster is a subclass of chicken
(documentation Rooster EnglishLanguage "A Male Chicken.")	Mid-level-ontology.kif 22488-22488	Rooster is a subclass of chicken
(externalImage Rooster "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Rooster02.jpg")	pictureList.kif 99-99	Rooster is a subclass of chicken
(externalImage Rooster "http://articulatesoftware.com/SUMOpictures/animals/ birds/ _Miscellaneous/ rooster_01.png")	pictureList.kif 698-698	Rooster is a subclass of chicken

appearance as argument number 2

(termFormat EnglishLanguage Rooster "rooster")	domainEnglishFormat.kif 50427-50427
(termFormat ChineseTraditionalLanguage Rooster "公雞")	domainEnglishFormat.kif 50428-50428
(termFormat ChineseLanguage Rooster "公鸡")	domainEnglishFormat.kif 50429-50429

antecedent

(<=>
    (instance ?R Rooster)
    (and
        (instance ?R Chicken)
        (attribute ?R Male)))

X is an instance of rooster if, only if X is an instance of chicken, and male is an attribute of X