TreeView Knowledge Base Browser - Outfit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Outfit

Outfit(outfit)

ensemble, getup, outfit, playsuit, rig, trousseau, turnout

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 465-466
No TPTP formula. May not be expressible in strict first order.	Dining.kif 464-464	Outfit is a subclass of collection

appearance as argument number 2

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

Dining.kif 467-467

antecedent

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

Dining.kif 469-479

If a collection is an instance of outfit and a physical is a member of the collection and an entity wears the physical holds during a time position,
then for all another physical
- if the other physical is a member of the collection,
- then the entity wears the other physical holds during the time position

consequent

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

Dining.kif 492-505

If an agent requires customers to wear an ambience,
then the statement there exist an entity and another entity such that the entity is an instance of outfit and the agent believes the entity is the ambience and for all a third entity and a fourth entity the agent is a customer of the third entity and the third entity located at time the other entity for the agent and the fourth entity is a member of the entity and the third entity wears the fourth entity holds during the other entity has the modal force of obligation

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