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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Breweries

 Sigma KEE - Breweries
Breweries(啤酒廠)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1891-1893
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4564-4564
No TPTP formula. May not be expressible in strict first order. naics.kif 1889-1889 子屬性 啤酒廠 and 飲料製造業

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11909-11909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11908-11908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11907-11907


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