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

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18087-18087 Psychological dysfunction is a subclass of psychological attribute
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18017-18017 State of mind is a subclass of psychological attribute
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18083-18083 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 18011-18015
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 18003-18009


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