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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectronicAndPrecisionEquipmentRepairAndMaintenance

Sigma KEE - ElectronicAndPrecisionEquipmentRepairAndMaintenance
ElectronicAndPrecisionEquipmentRepairAndMaintenance(電子和精密設備的維修和保養)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11814-11817
No TPTP formula. May not be expressible in strict first order. naics.kif 11812-11812 子屬性 電子和精密設備的維修和保養 and 維修和保養

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11834-11834 子屬性 通訊設備維修保養 and 電子和精密設備的維修和保養
No TPTP formula. May not be expressible in strict first order. naics.kif 11826-11826 子屬性 電腦和辦公機器的維修和保養 and 電子和精密設備的維修和保養
No TPTP formula. May not be expressible in strict first order. naics.kif 11819-11819 子屬性 消費電子產品維修和保養 and 電子和精密設備的維修和保養
No TPTP formula. May not be expressible in strict first order. naics.kif 11842-11842 子屬性 其他電子和精密設備的維修和保養 and 電子和精密設備的維修和保養
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21690-21690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21689-21689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21688-21688


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