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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PsychologicalProcess

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 10280-10282
(subclass PsychologicalProcess BiologicalProcess) Merge.kif 10278-10278

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


(subclass BecomingDrunk PsychologicalProcess) Mid-level-ontology.kif 15759-15759
(subclass EmotionalBehavioralProcess PsychologicalProcess) emotion.kif 117-117
(subclass FallingAsleep PsychologicalProcess) Mid-level-ontology.kif 15796-15796
(subclass Forgetting PsychologicalProcess) ComputingBrands.kif 4409-4409
(subclass Frightening PsychologicalProcess) Mid-level-ontology.kif 17631-17631
(subclass GainingConsciousness PsychologicalProcess) Mid-level-ontology.kif 15881-15881
(subclass Imagining PsychologicalProcess) Mid-level-ontology.kif 17616-17616
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10418-10418
(subclass LosingConsciousness PsychologicalProcess) Mid-level-ontology.kif 15899-15899
(subclass Perception PsychologicalProcess) Merge.kif 13205-13205
(subclass Remembering PsychologicalProcess) Merge.kif 11928-11928
(subclass Sleeping PsychologicalProcess) Merge.kif 18046-18046
(subclass SoberingUp PsychologicalProcess) Mid-level-ontology.kif 15780-15780
(subclass WakingUp PsychologicalProcess) Mid-level-ontology.kif 15812-15812
(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 10284-10289


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