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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmbienceAttribute
AmbienceAttribute(ambience)ambience

appearance as argument number 1
-------------------------


(documentation AmbienceAttribute EnglishLanguage "AmbienceAttribute describes the atmosphere or general feeling that something evokes") Dining.kif 1016-1017
(subclass AmbienceAttribute SubjectiveAssessmentAttribute) Dining.kif 1015-1015 Ambience is a subclass of subjective assessment attribute

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


(instance BusinessCasualAttribute AmbienceAttribute) Dining.kif 1057-1057 Business casual is an instance of ambience
(instance BusinessFormalAttribute AmbienceAttribute) Dining.kif 1062-1062 Business formal is an instance of ambience
(instance CasualAttribute AmbienceAttribute) Dining.kif 1047-1047 Casual is an instance of ambience
(instance CasualDressyAttribute AmbienceAttribute) Dining.kif 1067-1067 Casual dressy is an instance of ambience
(instance ConventionalAttribute AmbienceAttribute) Dining.kif 1041-1041 Conventional is an instance of ambience
(instance DressyAttribute AmbienceAttribute) Dining.kif 1073-1073 Dressy is an instance of ambience
(instance FormalAttribute AmbienceAttribute) Dining.kif 1052-1052 Formal is an instance of ambience
(instance RomanticAttribute AmbienceAttribute) Dining.kif 1026-1026 Romantic is an instance of ambience
(instance TrendyAttribute AmbienceAttribute) Dining.kif 1036-1036 Trendy is an instance of ambience
(instance UnconventionalAttribute AmbienceAttribute) Dining.kif 1031-1031 Unconventional is an instance of ambience
(termFormat EnglishLanguage AmbienceAttribute "ambience") Dining.kif 1018-1018 "ambience" is the printable form of ambience in english language

appearance as argument number 3
-------------------------


(domain dressCode 1 AmbienceAttribute) Dining.kif 461-461 The number 1 argument of dressCode is an instance of ambience

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


(=>
    (and
        (attribute ?X ?ATTR)
        (instance ?ATTR AmbienceAttribute))
    (instance ?X Physical))
Dining.kif 1020-1024


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners