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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MercantileOrganization

 Sigma KEE - MercantileOrganization
MercantileOrganization(mercantile organization)
amusement_arcade

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3666-3667
No TPTP formula. May not be expressible in strict first order. Merge.kif 16211-16212
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8594-8594
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9423-9423
No TPTP formula. May not be expressible in strict first order. Merge.kif 16210-16210 Mercantile organization is a subclass of corporation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7765-7765 Retail store is a subclass of mercantile organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7791-7791 Shopping mall is a subclass of mercantile organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7751-7751 Wholesale store is a subclass of mercantile organization
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37151-37151
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37150-37150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37149-37149

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16214-16221


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