SexAttribute(attribut de sexe) | ![]() |
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 18292-18293 | |
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18291-18291 | exhaustiveAttribute attribut de sexe, Female, Male and NonBinaryGender |
(subclass SexAttribute BiologicalAttribute) | Merge.kif 18290-18290 | Attribut de sexe est une sous-classe de attribut biologique |
appearance as argument number 2 |
![]() |
consequent |
![]() |
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 18315-18320 |
![]() |
![]() |