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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MiscellaneousManufacturing

 Sigma KEE - MiscellaneousManufacturing
MiscellaneousManufacturing(雜項製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6150-6150 不相交的 雜項製造業 and 化學製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6144-6144 不相交的 雜項製造業 and 計算機和電子產品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6143-6143 不相交的 雜項製造業 and 電氣設備器具和元件製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6146-6146 不相交的 雜項製造業 and 金屬製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6141-6141 不相交的 雜項製造業 and 家具及相關產品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6145-6145 不相交的 雜項製造業 and 機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6148-6148 不相交的 雜項製造業 and 非金屬礦產品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6151-6151 不相交的 雜項製造業 and 石油和煤炭產品製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6149-6149 不相交的 雜項製造業 and 塑料和橡膠製品製造
No TPTP formula. May not be expressible in strict first order. naics.kif 6147-6147 不相交的 雜項製造業 and 主要金屬製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6142-6142 不相交的 雜項製造業 and 運輸設備製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6137-6139
No TPTP formula. May not be expressible in strict first order. naics.kif 6135-6135 例 雜項製造業 and 行業屬性

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6171-6171 子屬性 醫療設備和用品製造業 and 雜項製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 6219-6219 子屬性 其他雜項製造業 and 雜項製造業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38003-38003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38002-38002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38001-38001

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 6153-6169


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