TreeView Knowledge Base Browser - Dizzy

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Dizzy

Dizzy(dizzy)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16407-16408
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16406-16406	Dizzy is an instance of disease or syndrome

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 16409-16409

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 16411-16427

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