DiningRoom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DiningRoom EnglishLanguage "A Room intended primarily for Eating.")	Mid-level-ontology.kif 16955-16955
(externalImage DiningRoom "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Dining_room.jpg")	pictureList.kif 4653-4653
(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 16954-16954	DiningRoom est une sous-classe de DiningArea
(subclass DiningRoom Room)	Mid-level-ontology.kif 16953-16953	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 19581-19581	OutdoorDiningArea est disjoint de DiningRoom
(termFormat ChineseTraditionalLanguage DiningRoom "飯廳")	domainEnglishFormat.kif 19580-19580	OutdoorDiningArea est disjoint de DiningRoom
(termFormat EnglishLanguage DiningRoom "dining room")	domainEnglishFormat.kif 19579-19579	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 equal agent cognitif and 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: