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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PumpAndCompressorManufacturing

Sigma KEE - PumpAndCompressorManufacturing
PumpAndCompressorManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4992-4994
No TPTP formula. May not be expressible in strict first order. naics.kif 4990-4990 PumpAndCompressorManufacturing est un sous-attribut de OtherGeneralPurposeMachineryManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5003-5003 AirAndGasCompressorManufacturing est un sous-attribut de PumpAndCompressorManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5010-5010 MeasuringAndDispensingPumpManufacturing est un sous-attribut de PumpAndCompressorManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 4996-4996 PumpAndPumpingEquipmentManufacturing est un sous-attribut de PumpAndCompressorManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48116-48116
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48115-48115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48114-48114


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