Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| processID |
| appearance as argument number 1 |
|
| (instance processID BinaryPredicate) | QoSontology.kif 871-871 | processID is an instance of binary predicate |
| (domain processID 1 ComputerProcess) | QoSontology.kif 872-872 | The number 1 argument of processID is an instance of computer process |
| (domain processID 2 PositiveInteger) | QoSontology.kif 873-873 | The number 2 argument of processID is an instance of positive integer |
| (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 874-877 | The number 2 argument of processID is an instance of positive integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage processID "%2 is %n a process ID of %1") | domainEnglishFormat.kif 2069-2069 | |
| (format ChineseTraditionalLanguage processID "%2 %n 是 %1 的 process ID") | domainEnglishFormat.kif 2070-2070 | |
| (format ChineseLanguage processID "%2 %n 是 %1 的 process ID") | domainEnglishFormat.kif 2071-2071 | |
| (termFormat EnglishLanguage processID "processID") | domainEnglishFormat.kif 47503-47503 | |
| (termFormat ChineseTraditionalLanguage processID "過程ID") | domainEnglishFormat.kif 47504-47504 | |
| (termFormat ChineseLanguage processID "过程ID") | domainEnglishFormat.kif 47505-47505 |
|