| s__instance(s__OperatingSystem,s__SetOrClass)
s__subclass(s__OperatingSystem,s__SoftwareSystem)
s__instance(s__SoftwareSystem,s__SetOrClass)
|
QoSontology.kif 992-992 |
Operating system is a subclass of software system |
| s__instance(s__OperatingSystem,s__SetOrClass)
s__instance(s__Solaris,s__SetOrClass)
s__subclass(s__Solaris,s__OperatingSystem)
|
QoSontology.kif 1006-1006 |
Solaris is a subclass of operating system |
| s__instance(s__OperatingSystem,s__SetOrClass)
s__subclass(s__BerkeleySoftwareDistribution,s__OperatingSystem)
s__instance(s__BerkeleySoftwareDistribution,s__SetOrClass)
|
QoSontology.kif 2165-2165 |
Berkeley software distribution is a subclass of operating system |
| s__subclass(s__MacOS,s__OperatingSystem)
s__instance(s__OperatingSystem,s__SetOrClass)
s__instance(s__MacOS,s__SetOrClass)
|
Media.kif 1532-1532 |
MacOS is a subclass of operating system |
| s__instance(s__MicrosoftWindows,s__SetOrClass)
s__instance(s__OperatingSystem,s__SetOrClass)
s__subclass(s__MicrosoftWindows,s__OperatingSystem)
|
Media.kif 1537-1537 |
MicrosoftWindows is a subclass of operating system |
| s__subclass(s__SymbianOS,s__OperatingSystem)
s__instance(s__OperatingSystem,s__SetOrClass)
s__instance(s__SymbianOS,s__SetOrClass)
|
Media.kif 1542-1542 |
SymbianOS is a subclass of operating system |
| s__instance(s__OperatingSystem,s__SetOrClass)
s__subclass(s__WindowsOS,s__OperatingSystem)
s__instance(s__WindowsOS,s__SetOrClass)
|
ComputingBrands.kif 58-58 |
WindowsOS is a subclass of operating system |
| s__instance(s__OperatingSystem,s__SetOrClass)
s__instance(s__PhoneOS,s__SetOrClass)
s__subclass(s__PhoneOS,s__OperatingSystem)
|
ComputingBrands.kif 86-86 |
PhoneOS is a subclass of operating system |
| s__instance(s__OperatingSystem,s__SetOrClass)
s__instance(s__AppleMacOS,s__SetOrClass)
s__subclass(s__AppleMacOS,s__OperatingSystem)
|
ComputingBrands.kif 203-203 |
Mac OS is a subclass of operating system |
