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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuickPrinting
QuickPrinting(quick printing)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2978-2980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11723-11723
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11725-11725
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11726-11726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11720-11720
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11719-11719
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11724-11724
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11722-11722
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10216-10216
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11721-11721
No TPTP formula. May not be expressible in strict first order. naics.kif 2976-2976 Quick printing is a subattribute of printing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48350-48350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48349-48349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48348-48348


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