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

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18433-18433 Psychological dysfunction is a subclass of psychological attribute
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18363-18363 State of mind is a subclass of psychological attribute
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18429-18429 Trait attribute is a subclass of psychological attribute
(termFormat ChineseLanguage PsychologicalAttribute "心理属性") chinese_format.kif 1262-1262 Trait attribute is a subclass of psychological attribute
(termFormat EnglishLanguage PsychologicalAttribute "psychological attribute") english_format.kif 1745-1745 Trait attribute is a subclass of psychological attribute
(termFormat FrenchLanguage PsychologicalAttribute "attribut psychologique") french_format.kif 940-940 Trait attribute is a subclass of psychological attribute
(termFormat Hindi PsychologicalAttribute "manovEgyaanika visheshataa") terms-hindi.txt 476-476 Trait attribute is a subclass of psychological attribute
(termFormat ItalianLanguage PsychologicalAttribute "AttributoPsicologico") terms-it.txt 479-479 Trait attribute is a subclass of psychological attribute
(termFormat JapaneseLanguage PsychologicalAttribute "心理的属性") japanese_format.kif 2624-2624 Trait attribute is a subclass of psychological attribute
(termFormat PortugueseLanguage PsychologicalAttribute "Atributo Psicologico") portuguese_format.kif 892-892 Trait attribute is a subclass of psychological attribute
(termFormat cz PsychologicalAttribute "psychological attribute") terms-cz.txt 515-515 Trait attribute is a subclass of psychological attribute
(termFormat ro PsychologicalAttribute "atribut psihologic") relations-ro.kif 961-961 Trait attribute is a subclass of psychological attribute
(termFormat tg PsychologicalAttribute "katangian ng pag-iisip") terms-tg.txt 480-480 Trait attribute is a subclass of psychological attribute

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


(=>
    (and
        (instance ?ATTR PsychologicalAttribute)
        (attribute ?AGENT ?ATTR))
    (instance ?AGENT SentientAgent))		 Merge.kif 18357-18361
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))		 Merge.kif 18349-18355


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