Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dressCode
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 dressCode の数値 1 引数は AmbienceAttributeinstance では %n
(domain dressCode 2 AutonomousAgent) Dining.kif 487-487 dressCode の数値 2 引数は AutonomousAgentinstance では %n
(instance dressCode BinaryPredicate) Dining.kif 482-482 dressCode2進述語instance では %n

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 65817-65817

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