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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FurnitureStores

 Sigma KEE - FurnitureStores
FurnitureStores(furniture stores)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7141-7143
No TPTP formula. May not be expressible in strict first order. naics.kif 7139-7139 Furniture stores is a subattribute of furniture and home furnishings stores

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25286-25286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25285-25285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25284-25284


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