Dizzy - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Dizzy EnglishLanguage "The state of feeling like one is about to fall, or would fall if standing.")	Mid-level-ontology.kif 17335-17336
(instance Dizzy DiseaseOrSyndrome)	Mid-level-ontology.kif 17334-17334	Dizziness is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Dizzy "dizziness")

Mid-level-ontology.kif 17337-17337

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H Dizzy))
    (holdsDuring ?T
        (believes ?H
            (=>
                (exists (?T2)
                    (and
                        (during ?T2 ?T)
                        (holdsDuring ?T2
                            (attribute ?H Standing))))
                (exists (?F)
                    (and
                        (instance ?F Falling)
                        (experiencer ?F ?H)
                        (meetsTemporally ?T2
                            (WhenFn ?F))))))))

Mid-level-ontology.kif 17339-17355

If dizziness is an attribute of an entity holds during a time position,
then the entity believes
- if there exists the time position2 such that the time position2 takes place during the time position and standing is an attribute of the entity holds during the time position2,
- then there exists a third entity such that the third entity is an instance of falling and the entity experiences the third entity and the time position2 meets the time of existence of the third entity
holds during the time position

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

KB Term:			Term intersection

English Word: