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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AdvertisingMaterialDistributionServices

 Sigma KEE - MawaLanguage
MawaLanguage(mawa language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 4243-4247
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11405-11405
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10113-10113
No TPTP formula. May not be expressible in strict first order. Languages.kif 4242-4242 Mawa language is an instance of unclassified spoken language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36575-36575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36574-36574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36573-36573


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