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

KB Term:  Term intersection
English Word: 

Sigma KEE - ClosedService
ClosedService(closed service)

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


(instance ClosedService ServiceAttribute) FinancialOntology.kif 4026-4026 Closed service is an instance of service attribute
(documentation ClosedService EnglishLanguage "The attribute which describes services that are shut or closed.") FinancialOntology.kif 4027-4028 Closed service is an instance of service attribute

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


(contraryAttribute OpenService ClosedService) FinancialOntology.kif 4013-4013 Open service is the opposite of closed service
(termFormat EnglishLanguage ClosedService "closed service") domainEnglishFormat.kif 15186-15186 Open service is the opposite of closed service
(termFormat ChineseTraditionalLanguage ClosedService "封閉的服務") domainEnglishFormat.kif 15187-15187 Open service is the opposite of closed service
(termFormat ChineseLanguage ClosedService "封闭的服务") domainEnglishFormat.kif 15188-15188 Open service is the opposite of closed service


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners