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 18338-18339
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 18337-18337 心理属性 详尽无遗地 partition心理状态特征属性
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18335-18335 心理属性生物属性subclass

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


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

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