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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OperatingSystem

 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 996-1000
No TPTP formula. May not be expressible in strict first order. engineering.kif 1332-1332
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 994-994 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 209-209 Mac OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2159-2159 Berkeley software distribution is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1542-1542 Mac OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1547-1547 Microsoft windows is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 90-90 Phone OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1008-1008 Solaris is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. Media.kif 1552-1552 Symbian OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 60-60 Windows OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42252-42252
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42251-42251
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 995-995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42250-42250

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3229


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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