Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Psychosis

 Sigma KEE - Psychosis
Psychosis(psychosis)hebephrenic, schizophrenic

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


(subclass Psychosis PsychologicalDysfunction) Mid-level-ontology.kif 7488-7488 Psychosis is a subclass of psychological dysfunction
(documentation Psychosis EnglishLanguage "Any PsychologicalDysfunction which is the result of an organic impairment of the NervousSystem.") Mid-level-ontology.kif 7489-7490 Psychosis is a subclass of psychological dysfunction

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


(termFormat EnglishLanguage Psychosis "psychosis") domainEnglishFormat.kif 47929-47929
(termFormat ChineseTraditionalLanguage Psychosis "精神病") domainEnglishFormat.kif 47930-47930
(termFormat ChineseLanguage Psychosis "精神病") domainEnglishFormat.kif 47931-47931

consequent
-------------------------


(=>
    (instance ?AP Antipsychotic)
    (hasPurpose ?AP
        (exists (?I ?H)
            (and
                (instance ?I Ingesting)
                (objectTransferred ?I ?AP)
                (agent ?AP ?H)
                (holdsDuring
                    (FutureFn
                        (WhenFn ?I))
                    (not
                        (attribute ?H Psychosis)))))))		 Mid-level-ontology.kif 11162-11174 If X is an instance of anti-psychotic, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and psychosis is not an attribute of Z holds during after the time of existence of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners