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 18106-18107 | |
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18105-18105 | 女 是所有的 性别属性 的 attributes |
(subclass SexAttribute BiologicalAttribute) | Merge.kif 18104-18104 | 性别属性 是 生物属性 的 subclass |
appearance as argument number 2 |
(instance Female SexAttribute) | Merge.kif 18113-18113 | 女 是 性别属性 的 instance |
(instance Male SexAttribute) | Merge.kif 18124-18124 | 男 是 性别属性 的 instance |
(instance NonBinaryGender SexAttribute) | Merge.kif 18109-18109 | NonBinaryGender 是 性别属性 的 instance |
(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 18128-18133 |