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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherGeneralPurposeMachineryManufacturing

Sigma KEE - AllOtherGeneralPurposeMachineryManufacturing
AllOtherGeneralPurposeMachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5056-5059
No TPTP formula. May not be expressible in strict first order. naics.kif 5054-5054 AllOtherGeneralPurposeMachineryManufacturing e' um sub-atributo de OtherGeneralPurposeMachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5111-5111 AllOtherMiscellaneousGeneralPurposeMachineryManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5090-5090 FluidPowerCylinderAndActuatorManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5097-5097 FluidPowerPumpAndMotorManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5083-5083 IndustrialProcessFurnaceAndOvenManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5076-5076 PackagingMachineryManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5061-5061 PowerDrivenHandtoolManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5104-5104 ScaleAndBalanceExceptLaboratoryManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5068-5068 WeldingAndSolderingEquipmentManufacturing e' um sub-atributo de AllOtherGeneralPurposeMachineryManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6654-6654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6653-6653
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6652-6652


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