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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsychologicalAttribute

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
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18335-18335

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18433-18433
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18363-18363
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18429-18429
(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 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 is open source software produced by Articulate Software and its partners