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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SexAttribute
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


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