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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SexAttribute
SexAttribute(attribut de sexe)

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 18277-18278
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18276-18276 exhaustiveAttribute attribut de sexe, Female, Male and NonBinaryGender
(subclass SexAttribute BiologicalAttribute) Merge.kif 18275-18275 Attribut de sexe est une sous-classe de attribut biologique

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


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

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


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


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