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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalAttribute
PsychologicalAttribute(attribut psychologique)

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 18446-18447
(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 18445-18445 Attribut psychologique est compl�tement d�compos� en �tat d'esprit + attribut caract�ristique
(subclass PsychologicalAttribute BiologicalAttribute) Merge.kif 18443-18443 Attribut psychologique est une sous-classe de attribut biologique

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


(subclass PsychologicalDysfunction PsychologicalAttribute) Merge.kif 18541-18541 Dysfonctionement psychologique est une sous-classe de attribut psychologique
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18471-18471 �tat d'esprit Est une sous-classe de attribut psychologique
(subclass TraitAttribute PsychologicalAttribute) Merge.kif 18537-18537 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat ChineseLanguage PsychologicalAttribute "心理属性") chinese_format.kif 1262-1262 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat EnglishLanguage PsychologicalAttribute "psychological attribute") english_format.kif 1745-1745 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat FrenchLanguage PsychologicalAttribute "attribut psychologique") french_format.kif 940-940 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat Hindi PsychologicalAttribute "manovEgyaanika visheshataa") terms-hindi.txt 476-476 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat ItalianLanguage PsychologicalAttribute "AttributoPsicologico") terms-it.txt 479-479 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat JapaneseLanguage PsychologicalAttribute "心理的属性") japanese_format.kif 2624-2624 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat PortugueseLanguage PsychologicalAttribute "Atributo Psicologico") portuguese_format.kif 892-892 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat cz PsychologicalAttribute "psychological attribute") terms-cz.txt 515-515 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat de PsychologicalAttribute "psychologisches Attribut") terms-de.txt 774-774 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat ro PsychologicalAttribute "atribut psihologic") relations-ro.kif 961-961 Attribut caract�ristique est une sous-classe de attribut psychologique
(termFormat tg PsychologicalAttribute "katangian ng pag-iisip") terms-tg.txt 480-480 Attribut caract�ristique est une sous-classe de attribut psychologique

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


(=>
    (and
        (instance ?ATTR PsychologicalAttribute)
        (attribute ?AGENT ?ATTR))
    (instance ?AGENT SentientAgent))
Merge.kif 18465-18469
(=>
    (instance ?ATTR PsychologicalAttribute)
    (=>
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?ATTR))
            (instance ?ORGANISM Organism))
        (holdsDuring ?TIME
            (attribute ?ORGANISM Living))))
Merge.kif 18457-18463


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