Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


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