OperatingSystem - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1105-1109
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1645-1645
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1103-1103	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 2291-2291	Berkeley software distribution is a subclass of operating system
No TPTP formula. May not be expressible in strict first order.	Media.kif 1544-1544	Mac OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order.	Media.kif 1549-1549	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 1117-1117	Solaris is a subclass of operating system
No TPTP formula. May not be expressible in strict first order.	Media.kif 1554-1554	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 42260-42260	Windows OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42259-42259	Windows OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1104-1104	Windows OS is a subclass of operating system
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42258-42258	Windows OS is a subclass of operating system

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 3213-3225

If a physical the attribute booting up and the physical is an instance of computer,
then there exist an object, another object and a transfer such that the object is an instance of digital data and the other object is an instance of operating system and the transfer is an instance of data transfer and the time of existence of the transfer takes place during the time of existence of the physical and the transfer ends up at the physical and the object is a part of the other object and the object transferred in the transfer is the object

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

KB Term:			Term intersection

English Word: