Outfit - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Outfit EnglishLanguage "Outfit describes the set of clothes worn by a person")	Dining.kif 465-466
(subclass Outfit Collection)	Dining.kif 464-464	Outfit is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage Outfit "outfit")

Dining.kif 467-467

antecedent

(=>
    (and
        (instance ?X Outfit)
        (member ?ITEM1 ?X)
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM1)))
    (forall (?ITEM2)
        (=>
            (member ?ITEM2 ?X)
            (holdsDuring ?TIME
                (wears ?PERSON ?ITEM2)))))

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

(=>
    (dressCode ?CODE ?AGENT)
    (modalAttribute
        (exists (?OUTFIT ?T)
            (and
                (instance ?OUTFIT Outfit)
                (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
                (holdsDuring ?T
                    (forall (?CUST ?ITEM)
                        (and
                            (customer ?CUST ?AGENT)
                            (locatedAtTime ?CUST ?T ?AGENT)
                            (member ?ITEM ?OUTFIT)
                            (wears ?CUST ?ITEM)))))) Obligation))

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