Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Outfit(outfit) |  | ensemble, getup, outfit, playsuit, rig, trousseau, turnout |
| appearance as argument number 1 |
|
|
| (subclass Outfit CollectionOfObjects) | Dining.kif 464-464 | Outfit is a subclass of collection |
| (documentation Outfit EnglishLanguage "Outfit describes the set of clothes worn by a person") | Dining.kif 465-466 | 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 X is an instance of outfit, Y is a member of X, and Z wears Y holds during W, then For all Physical V: if V is a member of X, then Z wears V holds during W |
| 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 X requires customers to wear Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of outfit (3) X believes Z is Y (4) V (5) U X is a customer of V (6) V located at time W for X (7) U is a member of Z (8) V wears U holds during W has the modal force of obligation |
|