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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OneHourPhotofinishing

Sigma KEE - OneHourPhotofinishing
OneHourPhotofinishing(one hour photofinishing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12061-12063
No TPTP formula. May not be expressible in strict first order. naics.kif 12059-12059 One hour photofinishing is a subattribute of photofinishing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42132-42132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42131-42131
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42130-42130


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