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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomobileManufacturing

Sigma KEE - AutomobileManufacturing
AutomobileManufacturing(automobile manufacturing)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5716-5719
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8363-8363
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8948-8948
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8942-8942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8938-8938
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8940-8940
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8941-8941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8946-8946
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8947-8947
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8944-8944
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8949-8949
No TPTP formula. May not be expressible in strict first order. Economy.kif 1705-1705 Automobile is an industry product type of automobile manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5714-5714 Automobile manufacturing is a subattribute of automobile and light duty motor vehicle manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9228-9228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9227-9227
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9226-9226


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