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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 17844-17845
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 17843-17843
(subclass SexAttribute BiologicalAttribute) Merge.kif 17842-17842

appearance as argument number 2

(instance Female SexAttribute) Merge.kif 17847-17847
(instance Male SexAttribute) Merge.kif 17858-17858
(termFormat ChineseLanguage SexAttribute "性别属性") chinese_format.kif 1259-1259
(termFormat EnglishLanguage SexAttribute "sex attribute") english_format.kif 1739-1739


    (instance ?ANIMAL Animal)
    (exists (?ATTR)
            (instance ?ATTR SexAttribute)
            (attribute ?ANIMAL ?ATTR))))
Merge.kif 17862-17867

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