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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShoppingMall
ShoppingMall(shopping mall)center, mall, plaza, shopping_center, shopping_centre, shopping_mall

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


(documentation ShoppingMall EnglishLanguage "A MercantileOrganization which is a collection of various shops gathered together in a single, modern development.") Mid-level-ontology.kif 7792-7793
(subclass ShoppingMall MercantileOrganization) Mid-level-ontology.kif 7791-7791 Shopping mall is a subclass of mercantile organization

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


(subclass StripMall ShoppingMall) Medicine.kif 5127-5127 StripMall is a subclass of shopping mall
(termFormat ChineseLanguage ShoppingMall "购物中心") domainEnglishFormat.kif 52773-52773
(termFormat ChineseTraditionalLanguage ShoppingMall "購物中心") domainEnglishFormat.kif 52772-52772
(termFormat EnglishLanguage ShoppingMall "shopping mall") domainEnglishFormat.kif 52771-52771

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


(=>
    (and
        (instance ?M ShoppingMall)
        (member ?S ?M))
    (instance ?S RetailStore))
Mid-level-ontology.kif 7795-7799


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