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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VendingMachineOperators

 Sigma KEE - VendingMachineOperators
VendingMachineOperators(vending machine operators)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7903-7905
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8780-8780
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9795-9795
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9796-9796
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9798-9798
No TPTP formula. May not be expressible in strict first order. naics.kif 7901-7901 Vending machine operators is a subattribute of nonstore retailers

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61466-61466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61465-61465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61464-61464


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