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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MachineryManufacturing

 Sigma KEE - MachineryManufacturing
MachineryManufacturing(机械制造业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4640-4642
No TPTP formula. May not be expressible in strict first order. Economy.kif 1784-1784 机器 是 机械制造业 的 industry 产品类别
No TPTP formula. May not be expressible in strict first order. naics.kif 4638-4638 机械制造业 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6145-6145 杂项制造业 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. naics.kif 4662-4662 农业建设和采矿机械制造业 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4793-4793 商业和服务业机械制造业 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4947-4947 发动机涡轮和动力传动设备制造 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4722-4722 工业机械制造业 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4889-4889 金属加工机械制造业 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4984-4984 其他通用机械制造 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4846-4846 通风采暖空调和商用制冷设备制造 是 机械制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35525-35525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35524-35524
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35523-35523

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4644-4660


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