OperatingSystem - Sigma Knowledge base Browser

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	子類操作系統 and 軟件系統

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 209-209	子類 Mac OS and 操作系統
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2159-2159	子類伯克利軟件分銷 and 操作系統
No TPTP formula. May not be expressible in strict first order.	Media.kif 1542-1542	子類 MacOS and 操作系統
No TPTP formula. May not be expressible in strict first order.	Media.kif 1547-1547	子類 MicrosoftWindows and 操作系統
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 90-90	子類 PhoneOS and 操作系統
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1008-1008	子類 solaris and 操作系統
No TPTP formula. May not be expressible in strict first order.	Media.kif 1552-1552	子類 SymbianOS and 操作系統
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 60-60	子類 WindowsOS and 操作系統
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

consequent

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3217-3229