dressCode |
appearance as argument number 1 |
(documentation dressCode EnglishLanguage "(dressCode ?CODE ?AGENT) means that ?AGENT obligates his customers to wear at the minimum clothes that fulfill ?CODE") | Dining.kif 483-485 | |
(domain dressCode 1 AmbienceAttribute) | Dining.kif 486-486 | Le nombre 1 argument de dressCode est une instance de AmbienceAttribute |
(domain dressCode 2 AutonomousAgent) | Dining.kif 487-487 | Le nombre 2 argument de dressCode est une instance de AutonomousAgent |
(instance dressCode BinaryPredicate) | Dining.kif 482-482 | dressCode est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage dressCode "%2 要求顾客去穿 %1 ") | domainEnglishFormat.kif 3286-3286 | |
(format ChineseTraditionalLanguage dressCode "%2 要求顧客去穿 %1 ") | domainEnglishFormat.kif 3285-3285 | |
(format EnglishLanguage dressCode "%2 requires customers to wear %1") | domainEnglishFormat.kif 3284-3284 | |
(termFormat EnglishLanguage dressCode "dress code") | domainEnglishFormat.kif 65815-65815 |
antecedent |
(=> (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 |
|