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


KB Term:  Term intersection
English Word: 

  Swallowing

 Sigma KEE - GroceryStore
GroceryStore(grocery store)
food_market, grocery, grocery_store, market

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


(subclass GroceryStore RetailStore) Mid-level-ontology.kif 9135-9135 Grocery store is a subclass of retail store
(documentation GroceryStore EnglishLanguage "A RetailStore that sells Food, and perhaps other items as well.") Mid-level-ontology.kif 9136-9137 Grocery store is a subclass of retail store
(externalImage GroceryStore "http://upload.wikimedia.org/wikipedia/en/b/ b9/ Storeisle.png") pictureList.kif 2686-2686 Grocery store is a subclass of retail store

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


(termFormat EnglishLanguage GroceryStore "grocery store") domainEnglishFormat.kif 26666-26666
(termFormat ChineseTraditionalLanguage GroceryStore "雜貨店") domainEnglishFormat.kif 26667-26667
(termFormat ChineseLanguage GroceryStore "杂货店") domainEnglishFormat.kif 26668-26668

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


(=>
    (instance ?STORE GroceryStore)
    (exists (?SELL ?FOOD)
        (and
            (instance ?SELL Selling)
            (agent ?SELL ?STORE)
            (patient ?SELL ?FOOD)
            (instance ?FOOD
                (FoodForFn Animal)))))		 Mid-level-ontology.kif 9139-9146 If X is an instance of grocery store, then there exist Y, Z such that Y is an instance of selling, X is an agent of Y, Z is a patient of Y, and Z is an instance of food for animal

consequent
-------------------------


(=>
    (instance ?GSC GroceryStoreChain)
    (and
        (instance ?GSC CollectionOfObjects)
        (member ?GS ?GSC)
        (instance ?GS GroceryStore)))		 Society.kif 501-506 If X is an instance of GroceryStoreChain, then X is an instance of collection, Y is a member of X, and Y is an instance of grocery store


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