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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OperatingSystem
OperatingSystem(operating system)DOS, Linux, MS-DOS, Microsoft_disk_operating_system, OS, UNIX, UNIX_operating_system, UNIX_system, disk_operating_system, operating_system

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 994-998
No TPTP formula. May not be expressible in strict first order. engineering.kif 1330-1330
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 992-992 Operating system is a subclass of software system

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 203-203 Mac OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2165-2165 Berkeley software distribution is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1532-1532 MacOS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1537-1537 MicrosoftWindows is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 86-86 PhoneOS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1006-1006 Solaris is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1542-1542 SymbianOS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 58-58 WindowsOS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42229-42229
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42228-42228
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 993-993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42227-42227

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 696-696 The number 1 argument of deviceOS is a subclass of operating system

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3193-3203


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