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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RecordProduction

 Sigma KEE - RecordProduction
RecordProduction(记录生产)
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 记录生产 是 录音行业 的 subAttribute

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 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