TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DiningRoom EnglishLanguage "A Room intended primarily for Eating.")	Mid-level-ontology.kif 15582-15582
(externalImage DiningRoom "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Dining_room.jpg")	pictureList.kif 4654-4654
(subclass DiningRoom DiningArea)	Mid-level-ontology.kif 15581-15581	DiningRoom ist eine teilkategorie von DiningArea
(subclass DiningRoom Room)	Mid-level-ontology.kif 15580-15580	DiningRoom ist eine teilkategorie von Room

appearance as argument number 2

(disjoint OutdoorDiningArea DiningRoom)	Dining.kif 157-157	OutdoorDiningArea ist dijunkt von DiningRoom %n{nicht}
(termFormat ChineseLanguage DiningRoom "饭厅")	domainEnglishFormat.kif 19572-19572
(termFormat ChineseTraditionalLanguage DiningRoom "飯廳")	domainEnglishFormat.kif 19571-19571
(termFormat EnglishLanguage DiningRoom "dining room")	domainEnglishFormat.kif 19570-19570

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

Wenn AutonomousAgent ist ein fall von Restaurant %n{nicht} und Object ist ein fall von DiningRoom %n{nicht} und PrivateAttribute ist ein attribut von ** Object %n{nicht} und ** AutonomousAgent besitzt ** Object %n{nicht} und customer CognitiveAgent and ** AutonomousAgent und Process ist ein fall von Eating %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** CognitiveAgent ist ein fall von GroupOfPeople %n{nicht},
dann die Aussage es gibt nicht entity und ** entity um customer ** entity and ** AutonomousAgent und ** CognitiveAgent ist gleich ** entity nicht und ** ** entity ist ein fall von Eating %n{nicht} und ** ** entity ist der agent von ** entity %n{nicht} und eventLocated ** ** entity and ** Object haelt waehrend die zeit des Bestehens von ** Process %n{nicht} hat die modale Kraft von Likely

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

KB Term:			Term intersection

English Word: