StayingStill - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - StayingStill

StayingStill(staying still)

arse_about, arse_around, bum, bum_about, bum_around, frig_around, fuck_off, idle, laze, lie_about, lie_around, loaf, loll, loll_around, lounge, lounge_about, lounge_around, moon, moon_around, moon_on, slug, stagnate, waste_one's_time

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1518-1520
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1521-1521	Staying still is a subclass of emotional bodily movement behavior

appearance as argument number 2

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

emotion.kif 1517-1517

antecedent

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

emotion.kif 1523-1533

If a process is an instance of staying still and an agent experiences the process,
then there don't exist another process and a third process such that the other process is an instance of body motion and the third process is an instance of translocation and the other process causes the third process and the agent is an agent of the other process

consequent

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

Mid-level-ontology.kif 5800-5811

If a physical is an instance of pajamas,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the entity is an agent of the other entity and the entity wears the physical holds during the other entity and the other entity is an instance of sleeping or the other entity is an instance of staying still

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