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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinenSupply

 Sigma KEE - LinenSupply
LinenSupply(linen supply)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12022-12024
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9378-9378
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9376-9376
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9375-9375
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9377-9377
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9374-9374
No TPTP formula. May not be expressible in strict first order. naics.kif 12020-12020 Linen supply is a subattribute of linen and uniform supply

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34529-34529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34528-34528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34527-34527


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