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 17850-17851
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 17849-17849
(subclass SexAttribute BiologicalAttribute) Merge.kif 17848-17848

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


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

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


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


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