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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GraphicDesignServices

Sigma KEE - GraphicDesignServices
GraphicDesignServices(平面設計服務)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10016-10018
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8508-8508
No TPTP formula. May not be expressible in strict first order. naics.kif 10014-10014 子屬性 平面設計服務 and 專業的設計服務

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26454-26454
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26453-26453
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26452-26452


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