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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JanitorialServices

Sigma KEE - JanitorialServices
JanitorialServices(清洁服务)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 10565-10568
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4895-4895
No TPTP formula. May not be expressible in strict first order. naics.kif 10563-10563 清洁服务为建筑物和住宅提供的服务subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31441-31441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31440-31440
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31439-31439


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