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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TotalizingFluidMeterAndCountingDeviceManufacturing
TotalizingFluidMeterAndCountingDeviceManufacturing(累計流量計和計數裝置製造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5341-5344
No TPTP formula. May not be expressible in strict first order. naics.kif 5339-5339 子屬性 累計流量計和計數裝置製造 and 導航測量電子醫學和控制儀器製造

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58568-58568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58567-58567
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58566-58566


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