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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecordProduction
RecordProduction(record production)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8985-8987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11744-11744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11745-11745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11748-11748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11747-11747
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11743-11743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11746-11746
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10225-10225
No TPTP formula. May not be expressible in strict first order. naics.kif 8983-8983 Record production is a subattribute of sound recording industries

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48980-48980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48979-48979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48978-48978


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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