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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FootwearManufacturing

Sigma KEE - FootwearManufacturing
FootwearManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2485-2487
No TPTP formula. May not be expressible in strict first order. Economy.kif 1749-1749 industryProductType FootwearManufacturing and Shoe
No TPTP formula. May not be expressible in strict first order. naics.kif 2483-2483 FootwearManufacturing e' um sub-atributo de LeatherAndAlliedProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2496-2496 HouseSlipperManufacturing e' um sub-atributo de FootwearManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2502-2502 MensFootwearExceptAthleticManufacturing e' um sub-atributo de FootwearManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2516-2516 OtherFootwearManufacturing e' um sub-atributo de FootwearManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2489-2489 RubberAndPlasticsFootwearManufacturing e' um sub-atributo de FootwearManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2509-2509 WomensFootwearExceptAthleticManufacturing e' um sub-atributo de FootwearManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24626-24626
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24625-24625
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24624-24624


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