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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DraftingServices

Sigma KEE - DraftingServices
DraftingServices(製圖服務)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9962-9964
No TPTP formula. May not be expressible in strict first order. naics.kif 9960-9960 子屬性 製圖服務 and 建築工程及相關服務

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20298-20298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20297-20297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20296-20296


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