| appearance as argument number 1 |
|
| (documentation ClosedService EnglishLanguage "The attribute which describes services that are shut or closed.") | FinancialOntology.kif 3987-3988 | |
| (instance ClosedService ServiceAttribute) | FinancialOntology.kif 3986-3986 | ClosedService は ServiceAttribute の instance では |
| appearance as argument number 2 |
|
|
| (contraryAttribute OpenService ClosedService) | FinancialOntology.kif 3973-3973 | OpenService は ClosedService の disjoint では |
| (termFormat ChineseLanguage ClosedService "封闭的服务") | domainEnglishFormat.kif 15195-15195 | OpenService は ClosedService の disjoint では |
| (termFormat ChineseTraditionalLanguage ClosedService "封閉的服務") | domainEnglishFormat.kif 15194-15194 | OpenService は ClosedService の disjoint では |
| (termFormat EnglishLanguage ClosedService "closed service") | domainEnglishFormat.kif 15193-15193 | OpenService は ClosedService の disjoint では |
|
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