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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalAttribute
PsychologicalAttribute

appearance as argument number 1
-------------------------


(documentation PsychologicalAttribute ChineseLanguage "这是表示 Organism 心理或行为生活的 Attribute。") chinese_format.kif 4032-4033
(documentation PsychologicalAttribute EnglishLanguage "Attributes that characterize the mental or behavioral life of an Organism.") Merge.kif 16963-16964
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 16962-16962
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 16960-16960

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 17036-17036
(subclass StateOfMind PsychologicalAttribute) Merge.kif 16988-16988
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 17032-17032
(termFormat ChineseLanguage PsychologicalAttribute "心理属性") chinese_format.kif 1262-1262
(termFormat EnglishLanguage PsychologicalAttribute "psychological attribute") english_format.kif 1750-1750

antecedent
-------------------------


(=>
    (and
        (instance ?ATTR PsychologicalAttribute)
        (attribute ?AGENT ?ATTR))
    (instance ?AGENT SentientAgent))
Merge.kif 16982-16986
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 16974-16980


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