| SexAttribute(Atributo Sexual) | |
| 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 18185-18186 | |
| (exhaustiveAttribute SexAttribute Female Male NonBinaryGender) | Merge.kif 18184-18184 | exhaustiveAttribute Atributo Sexual, Female, Male and NonBinaryGender |
| (subclass SexAttribute BiologicalAttribute) | Merge.kif 18183-18183 | Atributo Sexual e' uma sub-classe de Atributo Biologico |
| appearance as argument number 2 |
|
|
| (instance Female SexAttribute) | Merge.kif 18192-18192 | Female e' uma instancia de Atributo Sexual |
| (instance Male SexAttribute) | Merge.kif 18203-18203 | Male e' uma instancia de Atributo Sexual |
| (instance NonBinaryGender SexAttribute) | Merge.kif 18188-18188 | NonBinaryGender e' uma instancia de Atributo Sexual |
| (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 18207-18212 |
|
|
|