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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinenSupply

Sigma KEE - LinenSupply
LinenSupply
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 LinenSupply est un sous-attribut de LinenAndUniformSupply

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