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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalAttribute
PsychologicalAttribute(psychological attribute)American_Dream, Anglophilia, Christ_Within, Electra_complex, Inner_Light, Light, Light_Within, Oedipal_complex, Oedipus_complex, Thanatos, abandon, abnormal, absentmindedness, absorption, abstractedness, abstraction, accept, acceptation, accepting, acceptive, accommodating, accommodative, acquiescence, acquired_taste, acumen, addiction, adeptness, adient, admired, adroitness, adventurism, affirmativeness, afraid, aggressive, aim, alertness, alienation, aloofness, amative, ambidexterity, ambidextrousness, ambition, ambitionless, ambitiousness, amenable, amicability, amicableness, amorous, analphabetism, anamnesis...

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 17998-17999
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 17997-17997 Psychological attribute is exhaustively partitioned into state of mind and trait attribute
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 17995-17995 Psychological attribute is a subclass of biological attribute

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18093-18093 Psychological dysfunction is a subclass of psychological attribute
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18023-18023 State of mind is a subclass of psychological attribute
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18089-18089 Trait attribute is a subclass of psychological attribute
(termFormat ChineseLanguage PsychologicalAttribute "心理属性") chinese_format.kif 1262-1262
(termFormat EnglishLanguage PsychologicalAttribute "psychological attribute") english_format.kif 1745-1745

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


(=>
    (and
        (instance ?ATTR PsychologicalAttribute)
        (attribute ?AGENT ?ATTR))
    (instance ?AGENT SentientAgent))
Merge.kif 18017-18021
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 18009-18015


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