Computer
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12366-12369 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12364-12364 | Administration of conservation programs is a subattribute of administration of environmental quality programs |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5466-5466 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5465-5465 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5464-5464 |