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 16840-16841
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 16839-16839
(subclass SexAttribute BiologicalAttribute) Merge.kif 16838-16838

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


(instance Female SexAttribute) Merge.kif 16843-16843
(instance Male SexAttribute) Merge.kif 16854-16854
(termFormat ChineseLanguage SexAttribute "性别属性") chinese_format.kif 1259-1259
(termFormat EnglishLanguage SexAttribute "sex attribute") english_format.kif 1744-1744

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


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


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