SexAttribute - Sigma 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 16840-16841
(exhaustiveAttribute SexAttribute Female Male)	Merge.kif 16839-16839
(subclass SexAttribute BiologicalAttribute)	Merge.kif 16838-16838

appearance as argument number 2

(instance Female SexAttribute)	Merge.kif 16843-16843
(instance Male SexAttribute)	Merge.kif 16854-16854
(termFormat ChineseLanguage SexAttribute "性别属性")	chinese_format.kif 1259-1259
(termFormat EnglishLanguage SexAttribute "sex attribute")	english_format.kif 1744-1744

consequent

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

Merge.kif 16858-16863