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



KB Term:  Term intersection
English Word: 

  PsychologicalAttribute

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
-------------------------


(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18597-18597 Psychological attribute is a subclass of biological attribute
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 18599-18599 Psychological attribute is exhaustively partitioned into state of mind and trait attribute
(documentation PsychologicalAttribute EnglishLanguage "Attributes that characterize the mental or behavioral life of an Organism.") Merge.kif 18600-18601 Psychological attribute is exhaustively partitioned into state of mind and trait attribute

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


(subclass StateOfMind PsychologicalAttribute) Merge.kif 18625-18625 State of mind is a subclass of psychological attribute
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18698-18698 Trait attribute is a subclass of psychological attribute
(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18702-18702 Psychological dysfunction is a subclass of psychological attribute
(termFormat EnglishLanguage PsychologicalAttribute "psychological attribute") english_format.kif 1749-1749 Psychological dysfunction is a subclass of psychological attribute

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


(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 18611-18617 Assuming X is an instance of psychological attribute, it follows that: if X is an attribute of Y holds during Z and Y is an instance of organism, then living is an attribute of Y holds during Z
(=>
    (and
        (instance ?ATTR PsychologicalAttribute)
        (attribute ?AGENT ?ATTR))
    (instance ?AGENT SentientAgent))
Merge.kif 18619-18623 If X is an instance of psychological attribute and X is an attribute of Y, then Y is an instance of sentient agent


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners