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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HandicraftIndustry
HandicraftIndustry(手工業)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8514-8514
No TPTP formula. May not be expressible in strict first order. Economy.kif 1758-1758 手工業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 1759-1759 子屬性 手織地毯製造 and 手工業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27336-27336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27335-27335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27334-27334


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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