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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 烘焙店其他特色食品店subAttribute

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 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