RetailStore - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RetailStore

RetailStore

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7793-7793	RetailStore e' disjunto de WholesaleStore
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7795-7806
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7792-7792	RetailStore e' uma sub-classe de MercantileOrganization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5190-5190	Walmart e' uma instancia de RetailStore
No TPTP formula. May not be expressible in strict first order.	Media.kif 1678-1678	BookStore e' uma sub-classe de RetailStore
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7828-7828	DrugStore e' uma sub-classe de RetailStore
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7841-7841	GroceryStore e' uma sub-classe de RetailStore
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49816-49816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49815-49815
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49814-49814

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5132-5145	Objeto e' uma instancia de StripMall Objeto e' uma instancia de RetailStore Objeto e' uma &parte de Objeto Objeto e' uma instancia de RetailStore Objeto e' uma &parte de Objeto Objeto e' igual a Objeto Objeto Objeto e' uma instancia de Hallway Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5147-5155	Objeto e' uma instancia de StripMall Objeto e' uma instancia de RetailStore Objeto e' uma &parte de Objeto Objeto Objeto e' uma instancia de ParkingLot Objeto e' Adjacent em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7808-7816	Objeto e' uma instancia de RetailStore Objeto e' capaz de fazer Vender no role agent Entidade Processo Processo e' uma instancia de Vender Processo termina em Entidade Entidade e' uma instancia de Humano

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7822-7826	Colecao e' uma instancia de ShoppingMall Fisico e' membro de Colecao Fisico e' uma instancia de RetailStore
No TPTP formula. May not be expressible in strict first order.	naics.kif 7752-7765	Colecao e' uma instancia de Organizacao MiscellaneousStoreRetailers e' um atributo de Colecao Processo Fisico, Entidade, Objeto and AutonomousAgent Fisico e' membro de Colecao Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender AutonomousAgent e' uma instancia de Humano Objeto e' uma instancia de RetailStore eventLocated Processo and Objeto Entidade e' uma instancia de Objeto Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	naics.kif 7877-7893	Colecao e' uma instancia de Organizacao NonstoreRetailers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Humano Entidade e' uma instancia de Objeto eventLocated AutonomousAgent and RetailStore AutonomousAgent termina em Entidade Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 7805-7815	GiftNoveltyAndSouvenirStores e' um atributo de Objeto Objeto e' uma instancia de RetailStore Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Vender Entidade e' um agente de Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto

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