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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dressCode

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 454-456
(domain dressCode 1 AmbienceAttribute) Dining.kif 457-457
(domain dressCode 2 Agent) Dining.kif 458-458
(instance dressCode BinaryPredicate) Dining.kif 453-453

appearance as argument number 2
-------------------------


(format ChineseLanguage dressCode "%2 要求顾客去穿 %1 ") domainEnglishFormat.kif 3291-3291
(format ChineseTraditionalLanguage dressCode "%2 要求顧客去穿 %1 ") domainEnglishFormat.kif 3290-3290
(format EnglishLanguage dressCode "%2 requires customers to wear %1") domainEnglishFormat.kif 3289-3289

antecedent
-------------------------


(=>
    (dressCode ?CODE ?AGENT)
    (modalAttribute
        (and
            (subjectiveAttribute ?OUTFIT ?CODE ?AGENT)
            (instance ?OUTFIT Outfit)
            (customer ?CUST ?AGENT)
            (holdsDuring
                (WhenFn
                    (located ?CUST ?AGENT))
                (forall (?ITEM)
                    (=>
                        (member ?ITEM ?OUTFIT)
                        (wears ?CUST ?ITEM))))) Obligation))
Dining.kif 462-473


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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