|
|
   Outfit
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Outfit EnglishLanguage "Outfit describes the set of clothes worn by a person") | Dining.kif 436-437 | |
| (subclass Outfit Collection) | Dining.kif 435-435 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Outfit "outfit") | Dining.kif 438-438 |
| 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 440-450 |
| consequent |
|
|
| (=> (dressCode ?CODE ?AGENT) (modalAttribute (and (subjectiveAttribute ?OUTFIT ?CODE ?AGENT) (instance ?OUTFIT Outfit) (customer ?CUST ?AGENT) (holdsDuring (WhenFn (located ?CUST ?AGENT)) (forall (?ITEM) (=> (member ?ITEM ?OUTFIT) (wears ?CUST ?ITEM))))) Obligation)) |
Dining.kif 462-473 |
|
|
|