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 18259-18260
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 18258-18258
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18256-18256

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18354-18354
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18284-18284
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18350-18350
(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 18278-18282
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 18270-18276


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