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 | Outfit è una sottoclasse di InsiemeConcreto |
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 |
|