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


KB Term:  Term intersection
English Word: 

  Antipsychotic

 Sigma KEE - Antipsychotic
Antipsychotic(anti-psychotic)Clozaril, Eskalith, Haldol, Lithane, Lithonate, Loxitane, Mellaril, Moban, Navane, Thorazine, antipsychotic, antipsychotic_agent, antipsychotic_drug, chlorpromazine, clozapine, diphenylbutyl_piperidine, fluphenazine, haloperidol, lithium_carbonate, loxapine, major_tranquilizer, major_tranquilliser, major_tranquillizer, molindone, neuroleptic, neuroleptic_agent, neuroleptic_drug, prochlorperazine, thioridazine, thiothixene

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


(subclass Antipsychotic Medicine) Mid-level-ontology.kif 11156-11156 Anti-psychotic is a subclass of medicine
(documentation Antipsychotic EnglishLanguage "A Medicine which hasPurpose to reduce or eliminate Psychosis.") Mid-level-ontology.kif 11157-11158 Anti-psychotic is a subclass of medicine

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


(termFormat EnglishLanguage Antipsychotic "antipsychotic") Mid-level-ontology.kif 11159-11159
(termFormat EnglishLanguage Antipsychotic "anti-psychotic") Mid-level-ontology.kif 11160-11160

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


(=>
    (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