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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiscellaneousStoreRetailers

 Sigma KEE - MiscellaneousStoreRetailers
MiscellaneousStoreRetailers(杂货店零售商)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7748-7750
No TPTP formula. May not be expressible in strict first order. naics.kif 7746-7746 杂货店零售商 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7767-7767 花店 是 杂货店零售商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7785-7785 办公用品文具和礼品店 是 杂货店零售商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7824-7824 其他杂货店零售商 是 杂货店零售商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 7818-7818 二手商品店 是 杂货店零售商 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38015-38015
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38014-38014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38013-38013

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7752-7765


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