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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MachineShops

Sigma KEE - MachineShops
MachineShops

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4471-4474
No TPTP formula. May not be expressible in strict first order. naics.kif 4469-4469 MachineShops e' um sub-atributo de MachineShopsTurnedProductAndScrewNutAndBoltManufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35531-35531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35530-35530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35529-35529


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