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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BakedGoodsStores

 Sigma KEE - BakedGoodsStores
BakedGoodsStores
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7390-7392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10484-10484
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10482-10482
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10474-10474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10483-10483
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10477-10477
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10472-10472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9899-9899
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10473-10473
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10479-10479
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10476-10476
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10475-10475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10480-10480
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10481-10481
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10478-10478
No TPTP formula. May not be expressible in strict first order. naics.kif 7388-7388 BakedGoodsStores est un sous-attribut de OtherSpecialtyFoodStores

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9624-9624
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9623-9623
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9622-9622


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