TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1005-1006
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1003-1003	The number 1 argument of default network is an instance of hardware system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1004-1004	The number 2 argument of default network is an instance of computer network
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1002-1002	default network is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 700-700
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 699-699
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 698-698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18888-18888
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18887-18887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18886-18886