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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionPictureAndVideoIndustries

Sigma KEE - MotionPictureAndVideoIndustries
MotionPictureAndVideoIndustries

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8912-8914
No TPTP formula. May not be expressible in strict first order. naics.kif 8910-8910 MotionPictureAndVideoIndustries est un sous-attribut de MotionPictureAndSoundRecordingIndustries

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8923-8923 MotionPictureAndVideoDistribution est un sous-attribut de MotionPictureAndVideoIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 8931-8931 MotionPictureAndVideoExhibition est un sous-attribut de MotionPictureAndVideoIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 8916-8916 MotionPictureAndVideoProduction est un sous-attribut de MotionPictureAndVideoIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 8951-8951 PostproductionServicesAndOtherMotionPictureAndVideoIndustries est un sous-attribut de MotionPictureAndVideoIndustries
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38745-38745
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38744-38744
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38743-38743


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