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 16960-16961
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 16959-16959
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 16957-16957

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 17033-17033
(subclass StateOfMind PsychologicalAttribute) Merge.kif 16985-16985
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 17029-17029
(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 16979-16983
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 16971-16977


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