ComputerDirectory - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 178-184
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1339-1339
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1338-1338
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 177-177	Computer directory is a subclass of computer file

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16290-16290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16289-16289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16288-16288

appearance as argument number 3

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

QoSontology.kif 216-216

antecedent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 231-236	If a computer directory is an instance of computer directory and a computer file is an instance of computer file and the computer directory is a directory of the computer file, then the address of the computer file includes a reference to the computer directory
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1351-1355	If a collection is an instance of computer directory and a physical is a member of the collection, then the physical is an instance of computer file

consequent

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

ComputingBrands.kif 3015-3021