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 17285-17286
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 17284-17284
(subclass SexAttribute BiologicalAttribute) Merge.kif 17283-17283

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


(instance Female SexAttribute) Merge.kif 17288-17288
(instance Male SexAttribute) Merge.kif 17299-17299
(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 17303-17308


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