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