programCopy |
appearance as argument number 1 |
(documentation programCopy EnglishLanguage "(programCopy ?File ?Program) means that the ComputerFile ?File is one of the copies of the ComputerProgram ?Program.") | QoSontology.kif 638-640 | |
(domain programCopy 1 ComputerFile) | QoSontology.kif 636-636 | Die Zahl 1 Argument von programCopy ist ein fall von ComputerFile %n{nicht} |
(domain programCopy 2 ComputerProgram) | QoSontology.kif 637-637 | Die Zahl 2 Argument von programCopy ist ein fall von ComputerProgram %n{nicht} |
(instance programCopy AsymmetricRelation) | QoSontology.kif 634-634 | programCopy ist ein fall von AsymmetricRelation %n{nicht} |
(subrelation programCopy containsInformation) | QoSontology.kif 635-635 | programCopy ist eine teilrelation von enthaeltInformationen |
appearance as argument number 2 |
(format ChineseLanguage programCopy "%1 是 %2 的 copy ") | domainEnglishFormat.kif 4250-4250 | |
(format ChineseTraditionalLanguage programCopy "%1 是 %2 的 copy ") | domainEnglishFormat.kif 4249-4249 | |
(format EnglishLanguage programCopy "%1 is a copy of %2") | domainEnglishFormat.kif 4248-4248 | |
(termFormat ChineseLanguage programCopy "程序副本") | domainEnglishFormat.kif 47644-47644 | |
(termFormat ChineseTraditionalLanguage programCopy "程序副本") | domainEnglishFormat.kif 47643-47643 | |
(termFormat EnglishLanguage programCopy "program copy") | domainEnglishFormat.kif 47642-47642 |
consequent |