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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Table
Table(表)

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


(documentation Table EnglishLanguage "A piece of Furniture with four legs and a flat top. It is used either for eating, paperwork or meetings.") Mid-level-ontology.kif 4585-4586
(externalImage Table "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Table_and_chairs.jpg") pictureList.kif 185-185
(subclass Table Furniture) Mid-level-ontology.kif 4584-4584 表 是 家具 的 subclass

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


(subclass Desk Table) Mid-level-ontology.kif 4588-4588 桌子 是 表 的 subclass
(termFormat ChineseLanguage Table "表") domainEnglishFormat.kif 56699-56699 桌子 是 表 的 subclass
(termFormat ChineseTraditionalLanguage Table "表") domainEnglishFormat.kif 56698-56698 桌子 是 表 的 subclass
(termFormat EnglishLanguage Table "table") domainEnglishFormat.kif 56697-56697 桌子 是 表 的 subclass

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


(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2 ?X2)
            (and
                (instance ?E2 Eating)
                (agent ?E2 ?GRP2)
                (not
                    (equal ?GRP1 ?GRP2))
                (instance ?GRP2 GroupOfPeople)
                (eventLocated ?E2 ?X2)
                (meetsTemporally
                    (WhenFn ?E1)
                    (WhenFn ?E2))
                (equal ?X ?X2))) Possibility))		 Dining.kif 1207-1224
(=>
    (and
        (attribute ?X Waiter)
        (instance ?X Human)
        (employs ?REST ?X)
        (instance ?REST Restaurant)
        (customer ?CUST ?REST)
        (located ?CUST ?TABLE)
        (instance ?TABLE Table))
    (exists (?DINING ?C ?FOOD ?KITCHEN)
        (and
            (possesses ?REST ?KITCHEN)
            (instance ?KITCHEN KitchenArea)
            (instance ?DINING DiningArea)
            (located ?TABLE ?DINING)
            (hasPurpose ?X
                (and
                    (instance ?C Carrying)
                    (agent ?C ?X)
                    (origin ?C ?KITCHEN)
                    (destination ?C ?TABLE)
                    (patient ?C ?FOOD)
                    (instance ?FOOD
                        (FoodForFn Human)))))))		 Mid-level-ontology.kif 22218-22240


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