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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalProcess
PsychologicalProcess

appearance as argument number 1
-------------------------


(documentation PsychologicalProcess ChineseLanguage "这是一个在 Organism 的精神或大脑所产生 的 BiologicalProcess,它可以在 Organism 的行为中表现出来。") chinese_format.kif 2920-2921
(documentation PsychologicalProcess EnglishLanguage "A BiologicalProcess which takes place in the mind or brain of an Organism and which may be manifested in the behavior of the Organism.") Merge.kif 10020-10022
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10018-10018

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


(subclass BecomingDrunk PsychologicalProcess) Mid-level-ontology.kif 15733-15733
(subclass EmotionalBehavioralProcess PsychologicalProcess) emotion.kif 117-117
(subclass FallingAsleep PsychologicalProcess) Mid-level-ontology.kif 15770-15770
(subclass Forgetting PsychologicalProcess) ComputingBrands.kif 4410-4410
(subclass Frightening PsychologicalProcess) Mid-level-ontology.kif 17605-17605
(subclass GainingConsciousness PsychologicalProcess) Mid-level-ontology.kif 15855-15855
(subclass Imagining PsychologicalProcess) Mid-level-ontology.kif 17590-17590
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10151-10151
(subclass LosingConsciousness PsychologicalProcess) Mid-level-ontology.kif 15873-15873
(subclass Perception PsychologicalProcess) Merge.kif 12889-12889
(subclass Remembering PsychologicalProcess) Merge.kif 11637-11637
(subclass Sleeping PsychologicalProcess) Merge.kif 17696-17696
(subclass SoberingUp PsychologicalProcess) Mid-level-ontology.kif 15754-15754
(subclass WakingUp PsychologicalProcess) Mid-level-ontology.kif 15786-15786
(termFormat ChineseLanguage PsychologicalProcess "心理过程") chinese_format.kif 1086-1086
(termFormat EnglishLanguage PsychologicalProcess "psychological process") english_format.kif 1383-1383

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


(=>
    (instance ?PROCESS PsychologicalProcess)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (experiencer ?PROCESS ?ANIMAL))))
Merge.kif 10024-10029


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