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


KB Term:  Term intersection
English Word: 

Sigma KEE - Table
Table(table)
King_Arthur's_Round_Table, Lord's_table, Parsons_table, Round_Table, altar, bench, board, booth, breakfast_table, card_table, cocktail_table, coffee_table, communion_table, conference_table, console, console_table, council_board, council_table, counter, dining-room_table, dining_table, dinner_table, dresser, dressing_table, drop-leaf_table, gaming_table, gueridon, high_table, kitchen_table, operating_table, pedestal_table, pier_table, refectory_table, stand, table, tea_table, toilet_table, trestle_table, triclinium, vanity, work_bench, work_table, workbench, worktable

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


(subclass Table Furniture) Mid-level-ontology.kif 4787-4787 Table is a subclass of furniture
(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 4788-4789 Table is a subclass of furniture
(externalImage Table "http://upload.wikimedia.org/wikipedia/commons/7/7a/ Table_and_chairs.jpg") pictureList.kif 185-185 Table is a subclass of furniture

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


(subclass Desk Table) Mid-level-ontology.kif 4791-4791 Desk is a subclass of table
(termFormat EnglishLanguage Table "table") domainEnglishFormat.kif 56690-56690 Desk is a subclass of table
(termFormat ChineseTraditionalLanguage Table "表") domainEnglishFormat.kif 56691-56691 Desk is a subclass of table
(termFormat ChineseLanguage Table "表") domainEnglishFormat.kif 56692-56692 Desk is a subclass of table

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


(=>
    (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 22843-22865 If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human
(=>
    (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 1210-1227 If All of the following hold: (1) communal is an attribute of X (2) X is an instance of table (3) Y is an instance of eating (4) Z is an agent of Y (5) Z is an instance of group of people (6) Y is located at X, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an instance of eating (3) W is an agent of V (4) equal Z (5) W (6) W is an instance of group of people (7) V is located at U (8) the time of existence of Y meets the time of existence of V (9) equal X (10) U has the modal force of possibility


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners