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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClosedService
ClosedService

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


(documentation ClosedService EnglishLanguage "The attribute which describes services that are shut or closed.") FinancialOntology.kif 3812-3813
(instance ClosedService ServiceAttribute) FinancialOntology.kif 3811-3811 instance ClosedService and ServiceAttribute

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


(contraryAttribute OpenService ClosedService) FinancialOntology.kif 3798-3798 contraryAttribute OpenService and ClosedService
(termFormat ChineseLanguage ClosedService "封闭的服务") domainEnglishFormat.kif 15121-15121
(termFormat ChineseTraditionalLanguage ClosedService "封閉的服務") domainEnglishFormat.kif 15120-15120
(termFormat EnglishLanguage ClosedService "closed service") domainEnglishFormat.kif 15119-15119


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 is open source software produced by Articulate Software and its partners