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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Insomnia
Insomnia

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


(documentation Insomnia EnglishLanguage "A physiological or psychological inability to get enough time Sleeping for wellbeing.") Mid-level-ontology.kif 15887-15888
(subclass Insomnia PathologicProcess) Mid-level-ontology.kif 15886-15886 Insomnia病理过程subclass

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


(termFormat EnglishLanguage Insomnia "insomnia") Mid-level-ontology.kif 15889-15889

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


(=>
    (and
        (instance ?I Insomnia)
        (experiencer ?I ?H))
    (exists (?S)
        (and
            (instance ?S Sleeping)
            (experiencer ?S ?H)
            (duration
                (WhenFn ?S) ?D)
            (desires ?H
                (and
                    (duration
                        (WhenFn ?S) ?D2)
                    (greaterThan ?D2 ?D))))))
Mid-level-ontology.kif 15891-15903


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