| 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 884-887 | |
| (domain processID 1 ComputerProcess) | QoSontology.kif 882-882 | The number 1 argument of processID is an instance of computer process |
| (domain processID 2 PositiveInteger) | QoSontology.kif 883-883 | The number 2 argument of processID is an instance of positive integer |
| (instance processID BinaryPredicate) | QoSontology.kif 881-881 | processID is an instance of binary predicate |
| 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 47543-47543 | |
| (termFormat ChineseTraditionalLanguage processID "過程ID") | domainEnglishFormat.kif 47542-47542 | |
| (termFormat EnglishLanguage processID "processID") | domainEnglishFormat.kif 47541-47541 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners