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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


(termFormat ChineseLanguage GroceryStore "杂货店") domainEnglishFormat.kif 26692-26692
(termFormat ChineseTraditionalLanguage GroceryStore "雜貨店") domainEnglishFormat.kif 26691-26691
(termFormat EnglishLanguage GroceryStore "grocery store") domainEnglishFormat.kif 26690-26690

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 8591-8598


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