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	Le nombre 1 argument de defaultNetwork est une instance de HardwareSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1004-1004	Le nombre 2 argument de defaultNetwork est une instance de ComputerNetwork
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1002-1002	defaultNetwork est une instance de pr�dicat binaire

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