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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherMiscellaneousGeneralPurposeMachineryManufacturing

Sigma KEE - AllOtherMiscellaneousGeneralPurposeMachineryManufacturing
AllOtherMiscellaneousGeneralPurposeMachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5113-5118
No TPTP formula. May not be expressible in strict first order. naics.kif 5111-5111 AllOtherMiscellaneousGeneralPurposeMachineryManufacturing est un sous-attribut de AllOtherGeneralPurposeMachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6756-6756
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6755-6755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6754-6754


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