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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MercantileOrganization
MercantileOrganization

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 16282-16283
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 16281-16281 MercantileOrganization e' uma sub-classe de Empresa

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7792-7792 RetailStore e' uma sub-classe de MercantileOrganization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7818-7818 ShoppingMall e' uma sub-classe de MercantileOrganization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7778-7778 WholesaleStore e' uma sub-classe de MercantileOrganization
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 16285-16292


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