processID |
appearance as argument number 1 |
(documentation processID EnglishLanguage "(processID ?PROCESS ?NUMBER) holds if ?NUMBER is a unique number generated by the operating system and used to refer to the ComputerProcess ?PROCESS. There is usually no significance to the numbers as they are reused as old processes die and new processes are created.") | QoSontology.kif 778-781 | |
(domain processID 1 ComputerProcess) | QoSontology.kif 776-776 | processID の数値 1 引数は ComputerProcess の instance では %n |
(domain processID 2 PositiveInteger) | QoSontology.kif 777-777 | processID の数値 2 引数は 正の整数 の instance では %n |
(instance processID BinaryPredicate) | QoSontology.kif 775-775 | processID は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage processID "%2 %n 是 %1 的 process ID") | domainEnglishFormat.kif 2067-2067 | |
(format ChineseTraditionalLanguage processID "%2 %n 是 %1 的 process ID") | domainEnglishFormat.kif 2066-2066 | |
(format EnglishLanguage processID "%2 is %n a process ID of %1") | domainEnglishFormat.kif 2065-2065 | |
(termFormat ChineseLanguage processID "过程ID") | domainEnglishFormat.kif 47510-47510 | |
(termFormat ChineseTraditionalLanguage processID "過程ID") | domainEnglishFormat.kif 47509-47509 | |
(termFormat EnglishLanguage processID "processID") | domainEnglishFormat.kif 47508-47508 |