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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransportationEquipmentManufacturing

 Sigma KEE - TransportationEquipmentManufacturing
TransportationEquipmentManufacturing(运输设备制造业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5679-5681
No TPTP formula. May not be expressible in strict first order. naics.kif 5677-5677 运输设备制造业 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6142-6142 杂项制造业 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. naics.kif 5879-5879 航空航天产品和零件制造 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5736-5736 汽车车身和拖车制造 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5701-5701 汽车制造业 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5768-5768 汽车零部件制造业 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5958-5958 其他运输设备制造业 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5933-5933 铁路车辆制造 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5939-5939 船和造船 是 运输设备制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59012-59012
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59011-59011
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59010-59010

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5683-5699


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