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 16625-16626
(instance Dizzy DiseaseOrSyndrome)	Mid-level-ontology.kif 16624-16624	Dizzy is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Dizzy "dizzy")

Mid-level-ontology.kif 16627-16627

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 16629-16645

If dizzy 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: