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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherPublishers

 Sigma KEE - OtherPublishers
OtherPublishers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8880-8882
No TPTP formula. May not be expressible in strict first order. naics.kif 8878-8878 OtherPublishers e' um sub-atributo de NewspaperPeriodicalBookAndDatabasePublishers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8891-8891 AllOtherPublishers e' um sub-atributo de OtherPublishers
No TPTP formula. May not be expressible in strict first order. naics.kif 8884-8884 GreetingCardPublishers e' um sub-atributo de OtherPublishers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43418-43418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43417-43417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43416-43416


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