Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SexAttribute
SexAttribute(sex attribute)altered, androgynous, androgyny, asexuality, bisexual, bisexuality, castrated, cut, emasculated, entire, epicene, gelded, gender, gynandromorphic, gynandromorphous, hermaphrodite, hermaphroditic, hermaphroditism, intact, intersexual, neuter, neutered, primary_sex_character, primary_sex_characteristic, primary_sexual_characteristic, pseudohermaphrodite, pseudohermaphroditic, secondary_sex_character, secondary_sex_characteristic, secondary_sexual_characteristic, sex, sex_character, sex_characteristic, sexed, sexless, sexlessness, sexual_characteristic, sexuality, spayed, uncastrated, unisexual, unsexed, virilism

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 18278-18279
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18277-18277 Female are all the attributes of sex attribute
(subclass SexAttribute BiologicalAttribute) Merge.kif 18276-18276 Sex attribute is a subclass of biological attribute

appearance as argument number 2
-------------------------


(instance Female SexAttribute) Merge.kif 18286-18286 Female is an instance of sex attribute
(instance Male SexAttribute) Merge.kif 18297-18297 Male is an instance of sex attribute
(instance NonBinaryGender SexAttribute) Merge.kif 18281-18281 Non-binary gender is an instance of sex attribute
(termFormat ChineseLanguage SexAttribute "性别属性") chinese_format.kif 1259-1259 Non-binary gender is an instance of sex attribute
(termFormat EnglishLanguage SexAttribute "sex attribute") english_format.kif 1739-1739 Non-binary gender is an instance of sex attribute
(termFormat FrenchLanguage SexAttribute "attribut de sexe") french_format.kif 937-937 Non-binary gender is an instance of sex attribute
(termFormat Hindi SexAttribute "linga visheshataa") terms-hindi.txt 473-473 Non-binary gender is an instance of sex attribute
(termFormat ItalianLanguage SexAttribute "AttributoSessuale") terms-it.txt 476-476 Non-binary gender is an instance of sex attribute
(termFormat JapaneseLanguage SexAttribute "性別属性") japanese_format.kif 2621-2621 Non-binary gender is an instance of sex attribute
(termFormat PortugueseLanguage SexAttribute "Atributo Sexual") portuguese_format.kif 889-889 Non-binary gender is an instance of sex attribute
(termFormat cb SexAttribute "kinaiyahon matang sa tawo") terms-cb.txt 478-478 Non-binary gender is an instance of sex attribute
(termFormat cz SexAttribute "sex attribute") terms-cz.txt 512-512 Non-binary gender is an instance of sex attribute
(termFormat de SexAttribute "Geschlechtattribut") terms-de.txt 771-771 Non-binary gender is an instance of sex attribute
(termFormat ro SexAttribute "atribut sexual") relations-ro.kif 958-958 Non-binary gender is an instance of sex attribute
(termFormat tg SexAttribute "katangian ng kasarian") terms-tg.txt 477-477 Non-binary gender is an instance of sex attribute

consequent
-------------------------


(=>
    (instance ?ANIMAL Animal)
    (exists (?ATTR)
        (and
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))		 Merge.kif 18301-18306


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners