TreeView 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	操作系统是软件系统的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 209-209	Mac OS 是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2159-2159	伯克利软件分销是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 1542-1542	MacOS 是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 1547-1547	MicrosoftWindows 是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 90-90	PhoneOS 是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1008-1008	Solaris 是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 1552-1552	SymbianOS 是操作系统的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 60-60	WindowsOS 是操作系统的 subclass
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