| 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 | 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 |
| (instance dressCode BinaryPredicate) | Dining.kif 482-482 | dress code is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage dressCode "%2 要求顾客去穿 %1 ") | domainEnglishFormat.kif 3278-3278 | |
| (format ChineseTraditionalLanguage dressCode "%2 要求顧客去穿 %1 ") | domainEnglishFormat.kif 3277-3277 | |
| (format EnglishLanguage dressCode "%2 requires customers to wear %1") | domainEnglishFormat.kif 3276-3276 | |
| (termFormat EnglishLanguage dressCode "dress code") | domainEnglishFormat.kif 65864-65864 |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners