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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinenAndUniformSupply

 Sigma KEE - LinenAndUniformSupply
LinenAndUniformSupply

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12016-12018
No TPTP formula. May not be expressible in strict first order. naics.kif 12014-12014 LinenAndUniformSupply est un sous-attribut de DrycleaningAndLaundryServices

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12026-12026 IndustrialLaunderers est un sous-attribut de LinenAndUniformSupply
No TPTP formula. May not be expressible in strict first order. naics.kif 12020-12020 LinenSupply est un sous-attribut de LinenAndUniformSupply
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34523-34523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34522-34522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34521-34521


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