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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WomensAndGirlsCutAndSewApparelManufacturing

Sigma KEE - WomensAndGirlsCutAndSewApparelManufacturing
WomensAndGirlsCutAndSewApparelManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2340-2343
No TPTP formula. May not be expressible in strict first order. naics.kif 2338-2338 WomensAndGirlsCutAndSewApparelManufacturing est un sous-attribut de CutAndSewApparelManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2355-2355 WomensAndGirlsCutAndSewBlouseAndShirtManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2363-2363 WomensAndGirlsCutAndSewDressManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2345-2345 WomensAndGirlsCutAndSewLingerieLoungewearAndNightwearManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2379-2379 WomensAndGirlsCutAndSewOtherOuterwearManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2370-2370 WomensAndGirlsCutAndSewSuitCoatTailoredJacketAndSkirtManufacturing est un sous-attribut de WomensAndGirlsCutAndSewApparelManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63309-63309
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63308-63308
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63307-63307


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