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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RetailStore

Sigma KEE - RetailStore
RetailStore

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7766-7766 RetailStore est disjoint de WholesaleStore
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7768-7779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7765-7765 RetailStore est une sous-classe de MercantileOrganization

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5190-5190 Walmart est une instance de RetailStore
No TPTP formula. May not be expressible in strict first order. Media.kif 1678-1678 BookStore est une sous-classe de RetailStore
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7801-7801 DrugStore est une sous-classe de RetailStore
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7814-7814 GroceryStore est une sous-classe de RetailStore
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49814-49814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49813-49813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49812-49812

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5132-5145
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5147-5155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7781-7789

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7795-7799
No TPTP formula. May not be expressible in strict first order. naics.kif 7752-7765
No TPTP formula. May not be expressible in strict first order. naics.kif 7877-7893
No TPTP formula. May not be expressible in strict first order. naics.kif 7805-7815


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