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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoundRecordingIndustries

Sigma KEE - SoundRecordingIndustries
SoundRecordingIndustries

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8979-8981
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8725-8725
No TPTP formula. May not be expressible in strict first order. naics.kif 8977-8977 SoundRecordingIndustries e' um sub-atributo de MotionPictureAndSoundRecordingIndustries

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8989-8989 IntegratedRecordProductionDistribution e' um sub-atributo de SoundRecordingIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 8997-8997 MusicPublishers e' um sub-atributo de SoundRecordingIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 9010-9010 OtherSoundRecordingIndustries e' um sub-atributo de SoundRecordingIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 8983-8983 RecordProduction e' um sub-atributo de SoundRecordingIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 9004-9004 SoundRecordingStudios e' um sub-atributo de SoundRecordingIndustries
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54014-54014
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54013-54013
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54012-54012


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