SexAttribute | ![]() |
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 17850-17851 | |
(exhaustiveAttribute SexAttribute Female Male) | Merge.kif 17849-17849 | |
(subclass SexAttribute BiologicalAttribute) | Merge.kif 17848-17848 |
appearance as argument number 2 |
![]() |
(instance Female SexAttribute) | Merge.kif 17853-17853 | |
(instance Male SexAttribute) | Merge.kif 17864-17864 | |
(termFormat ChineseLanguage SexAttribute "性别属性") | chinese_format.kif 1259-1259 | |
(termFormat EnglishLanguage SexAttribute "sex attribute") | english_format.kif 1739-1739 |
consequent |
![]() |
(=> (instance ?ANIMAL Animal) (exists (?ATTR) (and (instance ?ATTR SexAttribute) (attribute ?ANIMAL ?ATTR)))) |
Merge.kif 17868-17873 |
![]() |
![]() |