TreeView 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 17780-17781
(instance Dizzy DiseaseOrSyndrome)	Mid-level-ontology.kif 17779-17779	Dizziness is an instance of disease or syndrome

appearance as argument number 2

(termFormat EnglishLanguage Dizzy "dizziness")

Mid-level-ontology.kif 17782-17782

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 17784-17800

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 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: