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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroceryStore

Sigma KEE - GroceryStore
GroceryStore

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


(documentation GroceryStore EnglishLanguage "A RetailStore that sells Food, and perhaps other items as well.") Mid-level-ontology.kif 7842-7843
(externalImage GroceryStore "http://upload.wikimedia.org/wikipedia/en/b/ b9/ Storeisle.png") pictureList.kif 2687-2687
(subclass GroceryStore RetailStore) Mid-level-ontology.kif 7841-7841 GroceryStore è una sottoclasse di RetailStore

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


(termFormat ChineseLanguage GroceryStore "杂货店") domainEnglishFormat.kif 26664-26664
(termFormat ChineseTraditionalLanguage GroceryStore "雜貨店") domainEnglishFormat.kif 26663-26663
(termFormat EnglishLanguage GroceryStore "grocery store") domainEnglishFormat.kif 26662-26662

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 7845-7852


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