| 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 17844-17845 | |
| (exhaustiveAttribute SexAttribute Female Male) | Merge.kif 17843-17843 | |
| (subclass SexAttribute BiologicalAttribute) | Merge.kif 17842-17842 |
| appearance as argument number 2 |
|
|
| (instance Female SexAttribute) | Merge.kif 17847-17847 | |
| (instance Male SexAttribute) | Merge.kif 17858-17858 | |
| (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 17862-17867 |
|
|
|