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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorVehiclePartsManufacturing

Sigma KEE - MotorVehiclePartsManufacturing
MotorVehiclePartsManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5770-5772
No TPTP formula. May not be expressible in strict first order. Economy.kif 1813-1813 MotorVehiclePartsManufacturing e' um sub-atributo de MotorVehicleIndustry
No TPTP formula. May not be expressible in strict first order. naics.kif 5768-5768 MotorVehiclePartsManufacturing e' um sub-atributo de TransportationEquipmentManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5828-5828 MotorVehicleBrakeSystemManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5796-5796 MotorVehicleElectricalAndElectronicEquipmentManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5774-5774 MotorVehicleGasolineEngineAndEnginePartsManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5851-5851 MotorVehicleMetalStamping e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5843-5843 MotorVehicleSeatingAndInteriorTrimManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5819-5819 MotorVehicleSteeringAndSuspensionComponentsExceptSpringManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5835-5835 MotorVehicleTransmissionAndPowerTrainPartsManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 5858-5858 OtherMotorVehiclePartsManufacturing e' um sub-atributo de MotorVehiclePartsManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38925-38925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38924-38924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38923-38923


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