Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| dressCode |
| appearance as argument number 1 |
|
| (instance dressCode BinaryPredicate) | Dining.kif 482-482 | dress code is an instance of binary predicate |
| (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 | dress code is an instance of binary predicate |
| (domain dressCode 1 AmbienceAttribute) | Dining.kif 486-486 | The number 1 argument of dress code is an instance of ambience |
| (domain dressCode 2 AutonomousAgent) | Dining.kif 487-487 | The number 2 argument of dress code is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage dressCode "%2 requires customers to wear %1") | domainEnglishFormat.kif 3280-3280 | |
| (format ChineseTraditionalLanguage dressCode "%2 要求顧客去穿 %1 ") | domainEnglishFormat.kif 3281-3281 | |
| (format ChineseLanguage dressCode "%2 要求顾客去穿 %1 ") | domainEnglishFormat.kif 3282-3282 | |
| (termFormat EnglishLanguage dressCode "dress code") | domainEnglishFormat.kif 65824-65824 |
| 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 | 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 |
|