DiningRoom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiningRoom EnglishLanguage "A Room intended primarily for Eating.")	Mid-level-ontology.kif 16963-16963
(externalImage DiningRoom "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Dining_room.jpg")	pictureList.kif 4653-4653
(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 16962-16962	DiningRoom est une sous-classe de DiningArea
(subclass DiningRoom Room)	Mid-level-ontology.kif 16961-16961	DiningRoom est une sous-classe de pi�ce

appearance as argument number 2

(disjoint OutdoorDiningArea DiningRoom)	Dining.kif 157-157	OutdoorDiningArea est disjoint de DiningRoom
(termFormat ChineseLanguage DiningRoom "饭厅")	domainEnglishFormat.kif 19587-19587	OutdoorDiningArea est disjoint de DiningRoom
(termFormat ChineseTraditionalLanguage DiningRoom "飯廳")	domainEnglishFormat.kif 19586-19586	OutdoorDiningArea est disjoint de DiningRoom
(termFormat EnglishLanguage DiningRoom "dining room")	domainEnglishFormat.kif 19585-19585	OutdoorDiningArea est disjoint de DiningRoom

antecedent

(=>
    (and
        (instance ?REST Restaurant)
        (instance ?DR DiningRoom)
        (attribute ?DR PrivateAttribute)
        (possesses ?REST ?DR)
        (customer ?GRP1 ?REST)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople))
    (modalAttribute
        (not
            (exists (?GRP2 ?E2)
                (and
                    (customer ?GRP2 ?REST)
                    (not
                        (equal ?GRP1 ?GRP2))
                    (instance ?E2 Eating)
                    (agent ?E2 ?GRP2)
                    (holdsDuring
                        (WhenFn ?E1)
                        (eventLocated ?E2 ?DR))))) Likely))

Dining.kif 1227-1246

AutonomousAgent est une instance de Restaurant objet est une instance de DiningRoom PrivateAttribute est un attribut de objet AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent processus est une instance de manger processus est un agent de agent cognitif agent cognitif est une instance de GroupOfPeople
l'argument entit� entit� customer entit� and AutonomousAgent agent cognitif est entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and objet pendant temps d'existence de processus a la force modale de Likely

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

KB Term:			Term intersection

English Word: