programCopy |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 638-640 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 636-636 | The number 1 argument of program copy is an instance of computer file |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 637-637 | The number 2 argument of program copy is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 634-634 | program copy is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 635-635 | program copy is a subrelation of contains information |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4250-4250 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4249-4249 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4248-4248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47642-47642 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47641-47641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47640-47640 |
consequent |