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 est un sous-attribut de NewspaperPeriodicalBookAndDatabasePublishers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8891-8891 AllOtherPublishers est un sous-attribut de OtherPublishers
No TPTP formula. May not be expressible in strict first order. naics.kif 8884-8884 GreetingCardPublishers est un sous-attribut de OtherPublishers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43416-43416
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43415-43415
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43414-43414


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