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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DirectMailAdvertising

Sigma KEE - DirectMailAdvertising
DirectMailAdvertising(直郵廣告)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10193-10196
No TPTP formula. May not be expressible in strict first order. naics.kif 10191-10191 子屬性 直郵廣告 and 廣告和相關服務

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19716-19716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19715-19715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19714-19714


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