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



KB Term:  Term intersection
English Word: 

Sigma KEE - SexualDysfunction
SexualDysfunction(sexual dysfunction)

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


(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 7492-7492 Sexual dysfunction is an instance of disease or syndrome
(documentation SexualDysfunction EnglishLanguage "An either physical or psychological inability to engage in Mating.") Mid-level-ontology.kif 7493-7494 Sexual dysfunction is an instance of disease or syndrome
(sideEffect SexualDysfunction Escitalopram) Medicine.kif 4087-4087 Escitalopram is a side effect of taking sexual dysfunction

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


(termFormat EnglishLanguage SexualDysfunction "sexual dysfunction") Mid-level-ontology.kif 7495-7495

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


(=>
    (holdsDuring ?T
        (attribute ?H SexualDysfunction))
    (not
        (exists (?M)
            (and
                (instance ?M Mating)
                (agent ?M ?H)))))
Mid-level-ontology.kif 7497-7504 If sexual dysfunction is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of mating and X is an agent of Z


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