TreeView Knowledge Base Browser - commandLineArguments

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1297-1299
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1295-1295	Le nombre 1 argument de commandLineArguments est une instance de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1296-1296	Le nombre 2 argument de commandLineArguments est une instance de liste
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1294-1294	commandLineArguments 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 480-480
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 479-479
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 478-478
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15750-15750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15749-15749
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15748-15748