TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SexAttribute ChineseLanguage "这是表示一个 Organism 性别的 Attribute。")	chinese_format.kif 4017-4017
(documentation SexAttribute EnglishLanguage "Attributes that indicate the sex of an Organism.")	Merge.kif 18185-18186
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender)	Merge.kif 18184-18184	exhaustiveAttribute Atributo Sexual, Female, Male and NonBinaryGender
(subclass SexAttribute BiologicalAttribute)	Merge.kif 18183-18183	Atributo Sexual e' uma sub-classe de Atributo Biologico

appearance as argument number 2

(instance Female SexAttribute)	Merge.kif 18192-18192	Female e' uma instancia de Atributo Sexual
(instance Male SexAttribute)	Merge.kif 18203-18203	Male e' uma instancia de Atributo Sexual
(instance NonBinaryGender SexAttribute)	Merge.kif 18188-18188	NonBinaryGender e' uma instancia de Atributo Sexual
(termFormat ChineseLanguage SexAttribute "性别属性")	chinese_format.kif 1259-1259
(termFormat EnglishLanguage SexAttribute "sex attribute")	english_format.kif 1739-1739
(termFormat FrenchLanguage SexAttribute "attribut de sexe")	french_format.kif 937-937
(termFormat Hindi SexAttribute "linga visheshataa")	terms-hindi.txt 473-473
(termFormat ItalianLanguage SexAttribute "AttributoSessuale")	terms-it.txt 476-476
(termFormat JapaneseLanguage SexAttribute "性別属性")	japanese_format.kif 2621-2621
(termFormat PortugueseLanguage SexAttribute "Atributo Sexual")	portuguese_format.kif 889-889
(termFormat cb SexAttribute "kinaiyahon matang sa tawo")	terms-cb.txt 478-478
(termFormat cz SexAttribute "sex attribute")	terms-cz.txt 512-512
(termFormat ro SexAttribute "atribut sexual")	relations-ro.kif 958-958
(termFormat tg SexAttribute "katangian ng kasarian")	terms-tg.txt 477-477

consequent

(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))

Merge.kif 18207-18212