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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherElectronicAndPrecisionEquipmentRepairAndMaintenance

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

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11844-11849
No TPTP formula. May not be expressible in strict first order. naics.kif 11842-11842 子屬性 其他電子和精密設備的維修和保養 and 電子和精密設備的維修和保養

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42948-42948
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42947-42947
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42946-42946


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