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 10286-10288
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10284-10284

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


(subclass BecomingDrunk PsychologicalProcess) Mid-level-ontology.kif 15783-15783
(subclass EmotionalBehavioralProcess PsychologicalProcess) emotion.kif 117-117
(subclass FallingAsleep PsychologicalProcess) Mid-level-ontology.kif 15820-15820
(subclass Forgetting PsychologicalProcess) ComputingBrands.kif 4409-4409
(subclass Frightening PsychologicalProcess) Mid-level-ontology.kif 17655-17655
(subclass GainingConsciousness PsychologicalProcess) Mid-level-ontology.kif 15905-15905
(subclass Imagining PsychologicalProcess) Mid-level-ontology.kif 17640-17640
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10424-10424
(subclass LosingConsciousness PsychologicalProcess) Mid-level-ontology.kif 15923-15923
(subclass Perception PsychologicalProcess) Merge.kif 13211-13211
(subclass Remembering PsychologicalProcess) Merge.kif 11934-11934
(subclass Sleeping PsychologicalProcess) Merge.kif 18059-18059
(subclass SoberingUp PsychologicalProcess) Mid-level-ontology.kif 15804-15804
(subclass WakingUp PsychologicalProcess) Mid-level-ontology.kif 15836-15836
(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 10290-10295


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